diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-10-31 16:44:21 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-10-31 16:44:21 +0000 |
| commit | 5b3d62b48169dd8dcffe374a565891a99e434c79 (patch) | |
| tree | 69f24f355f521bd3be0731fe3c32640b8c73a5b2 /autoconf | |
| parent | 458c6b04be8357859464d22fed09b476ca38e116 (diff) | |
| parent | 5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0 (diff) | |
| download | klee-5b3d62b48169dd8dcffe374a565891a99e434c79.tar.gz | |
Merge pull request #173 from delcypher/switch_to_autoconf_2.69
Switch to using autoconf 2.69 this version is more commonly available
Diffstat (limited to 'autoconf')
| -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\"#" \ |