diff configure @ 1827:6b86ca4b0908

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Sep 2012 08:29:27 -0400
parents 6a621a625b04
children 6ec243437d12
line wrap: on
line diff
--- a/configure	Tue Sep 25 08:16:58 2012 -0400
+++ b/configure	Tue Sep 25 08:29:27 2012 -0400
@@ -2318,7 +2318,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'