From 8e8aa95abdfcf0490c72993a456269c67e42eead Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 12 May 2012 12:15:26 -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 a74fd071..b918e616 100755 --- a/configure +++ b/configure @@ -2193,7 +2193,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