configure
changeset 9864 2cf3dcf93d74
parent 9683 4f02aaf40ee9
child 9865 84916bbe5985
--- a/configure	Thu Mar 14 16:18:00 2019 +0000
+++ b/configure	Sat Mar 16 18:43:11 2019 +0100
@@ -23,7 +23,8 @@
 PRNG=
 PRNGLIBS=
 
-CFLAGS="-fPIC -Wall -pedantic -std=c99"
+CFLAGS="-fPIC -std=c99"
+CFLAGS="$CFLAGS -Wall -pedantic"
 LDFLAGS="-shared"
 
 IDN_LIBRARY="idn"