diff configure @ 1853:f405dfe1f1e1

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Apr 2013 13:32:10 -0400
parents 1239ba1a1671
children 2eabe66daef6
line wrap: on
line diff
--- a/configure	Sun Apr 21 13:03:20 2013 -0400
+++ b/configure	Sun Apr 21 13:32:10 2013 -0400
@@ -2319,7 +2319,7 @@
 ac_compiler_gnu=$ac_cv_c_compiler_gnu
 
 
-WORKING_VERSION=0
+WORKING_VERSION=1
 ac_ext=c
 ac_cpp='$CPP $CPPFLAGS'
 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'