diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-15 10:25:27 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-15 10:25:27 -0700 |
| commit | 87968a53a31aaddb0c15b5d7078f6df05904fa0a (patch) | |
| tree | f7a3339eef43384c07a25fdb19f2ad1727474efa /autoconf/configure.ac | |
| parent | 93d8088ed4498c340b740834dca0a7fa45e7b7eb (diff) | |
| parent | c09a2441e78f879c1c2ce8f2fa34c60800044349 (diff) | |
| download | klee-87968a53a31aaddb0c15b5d7078f6df05904fa0a.tar.gz | |
Merge pull request #14 from MartinNowack/BuildSystem
Patch Set V - Build system
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index c78dcb50..6d846d5d 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -348,6 +348,11 @@ else fi dnl ************************************************************************** +dnl * Check for dejagnu +dnl ************************************************************************** +AC_PATH_PROG(RUNTEST, [runtest]) + +dnl ************************************************************************** dnl * Create the output files dnl ************************************************************************** |