configure
changeset 7616 1169097e0ef8
parent 7614 0231b50ec959
child 7617 bbdd97b913ea
--- a/configure	Fri Aug 19 15:58:07 2016 +0200
+++ b/configure	Fri Aug 19 15:59:12 2016 +0200
@@ -21,7 +21,7 @@
 PRNG=
 PRNGLIBS=
 
-CFLAGS="-fPIC -Wall"
+CFLAGS="-fPIC -Wall -pedantic"
 LDFLAGS="-shared"
 
 IDN_LIBRARY="idn"