From e1470fa69ac6c8d2a4e937d29af0200515218f26 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 21 Apr 2013 13:32:10 -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 4aa9b405..28d56d03 100755 --- a/configure +++ b/configure @@ -2319,7 +2319,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