diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 18:30:12 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | 8a460a94c6a442e22187e8b5b3560bed34460f4b (patch) | |
| tree | e8f8684388fdee7b3b969667f4016f3d5b434628 /autoconf/configure.ac | |
| parent | aa9d6e30f6581f8b1a803e1e459a2ef3f3dbb697 (diff) | |
| download | klee-8a460a94c6a442e22187e8b5b3560bed34460f4b.tar.gz | |
Remove the last remnants (I think) of DejaGNU. Goodbye!
Say hello to our new friend, llvm-lit :)
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 5a47e924..af5affc0 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -564,11 +564,6 @@ else AC_SUBST(REQUIRES_RTTI,[[1]]) fi -dnl ************************************************************************** -dnl * Check for dejagnu -dnl ************************************************************************** -AC_PATH_PROG(RUNTEST, [runtest]) -DJ_AC_PATH_TCLSH dnl ************************************************************************** dnl * Create the output files |