diff configure @ 1807:15eb501a17d0

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Aug 2012 10:02:19 -0400
parents 40557fb08e98
children 6a621a625b04
line wrap: on
line diff
--- a/configure	Tue Aug 07 09:41:02 2012 -0400
+++ b/configure	Tue Aug 07 10:02:19 2012 -0400
@@ -2211,7 +2211,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'