summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-11-21 14:53:01 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-11-21 14:53:01 -0500
commitc28405247dd05ecc562e1d7fa46c58e7e42b2a9d (patch)
tree0c7462d19746888296663d6aa1a89801c203fb5d /configure
parenta889c5a152e7b16f51f31862146d4dabcac4a050 (diff)
Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 28d56d03..4aa9b405 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=1
+WORKING_VERSION=0
ac_ext=c
ac_cpp='$CPP $CPPFLAGS'
ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'