configure: add --fatal-warnings option.
authorNicolas George <nicolas.george@normalesup.org>
Sun, 11 Nov 2012 20:37:50 +0000 (21:37 +0100)
committerNicolas George <nicolas.george@normalesup.org>
Sat, 17 Nov 2012 11:01:17 +0000 (12:01 +0100)
commit1ba2e589cc334da2448d395e927ee269727b204c
tree3ff9066ba5d2a2ba527dec4f426bd0e57ee0bac7
parentc551c3b18bab9710bc50ddacf866431f43e033f6
configure: add --fatal-warnings option.
configure