diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-31 14:35:25 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-31 14:35:25 +0000 |
| commit | 5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0 (patch) | |
| tree | a4c862871666cd6614930f1164ca32344f2b6d29 /autoconf/AutoRegen.sh | |
| parent | 10b800db2c0639399ca2bdc041959519c54f89e5 (diff) | |
| download | klee-5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0.tar.gz | |
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.
Diffstat (limited to 'autoconf/AutoRegen.sh')
| -rwxr-xr-x | autoconf/AutoRegen.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/autoconf/AutoRegen.sh b/autoconf/AutoRegen.sh index 4a34f8c0..a8460789 100755 --- a/autoconf/AutoRegen.sh +++ b/autoconf/AutoRegen.sh @@ -15,9 +15,9 @@ die () { } test -d autoconf && test -f autoconf/configure.ac && cd autoconf test -f configure.ac || die "Can't find 'autoconf' dir; please cd into it first" -autoconf --version | egrep '2\.60' > /dev/null +autoconf --version | egrep '2\.69' > /dev/null if test $? -ne 0 ; then - die "Your autoconf was not detected as being 2.60" + die "Your autoconf was not detected as being 2.69" fi # Patch LLVM_SRC_ROOT in configure.ac sed -e "s#^LLVM_SRC_ROOT=.*#LLVM_SRC_ROOT=\"$llvm_src_root\"#" \ |