From 523ffe9216b848d49bb424e15763a45ba3e80004 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 25 Sep 2012 08:29:27 -0400 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 5dba0f7e..83a16937 100755 --- a/configure +++ b/configure @@ -2318,7 +2318,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