From ec50d544e32cd9c92d1333ebc6f76c5e6ed95774 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Jan 2012 10:10:51 -0500 Subject: Return to working version mode --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 6fd4a917..edd7b0dc 100755 --- a/configure +++ b/configure @@ -2191,7 +2191,7 @@ ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $ 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' -- cgit v1.2.3