From 5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 31 Oct 2014 14:35:25 +0000 Subject: Switch to using autoconf 2.69 this version is more commonly available on Linux systems (2.60 is quite old) which will make updating the configure script easier for most users. --- include/klee/Config/config.h.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 6f24cde3..978c901f 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -78,6 +78,9 @@ /* Define to the one symbol short name of this package. */ #undef PACKAGE_TARNAME +/* Define to the home page for this package. */ +#undef PACKAGE_URL + /* Define to the version of this package. */ #undef PACKAGE_VERSION -- cgit 1.4.1