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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions