diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-16 16:58:21 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 11:43:10 +0000 |
| commit | b35ce61c5fd2aba218b02a2f1234b17aef167aa5 (patch) | |
| tree | 5c8fb333684c10cc338e1339ba158fbc0989c3b3 /Makefile.config.in | |
| parent | 542a604b42798f061ac7a2280279ea5e3db471d9 (diff) | |
| download | klee-b35ce61c5fd2aba218b02a2f1234b17aef167aa5.tar.gz | |
Re-add support for running individual tests when built with LLVM3.3
It seems that the LLVM configure script no longer looks for tclsh which was used to execute individual tests. E.g. $ cd test $ make TESTONE=Runtime/POSIX/DirConsistency.c check-one VERBOSE=1 This prevented the above from working. This commit fixes this by having our configure script look for tclsh instead. The path_tclsh.m4 macro is taken from the projects/sample/autoconf/m4/ in LLVM3.3
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 452cc1a1..9e04711b 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -66,3 +66,4 @@ LDFLAGS := @LDFLAGS@ -g REQUIRES_RTTI := @REQUIRES_RTTI@ RUNTEST := @RUNTEST@ +TCLSH := @TCLSH@ |