diff options
| author | Daniel Dunbar <daniel_dunbar@apple.com> | 2014-09-12 22:47:06 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel_dunbar@apple.com> | 2014-09-12 22:47:06 -0700 |
| commit | 64aaf2ff840d205a878012bf88bd8e884165d57f (patch) | |
| tree | 6ce51e039ba26ba6d91f9bdf7b07ae6e32cb1a80 /autoconf/configure.ac | |
| parent | c37e33f70556f544f608cdf970119001fb8d92e4 (diff) | |
| download | klee-64aaf2ff840d205a878012bf88bd8e884165d57f.tar.gz | |
[tests] Fix Concrete tests for out-of-tree builds.
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index c6e59d97..edeacc8c 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -605,6 +605,7 @@ AC_CONFIG_MAKEFILE(lib/Makefile) AC_CONFIG_MAKEFILE(runtime/Makefile) AC_CONFIG_MAKEFILE(test/Makefile) AC_CONFIG_MAKEFILE(test/Makefile.tests) +AC_CONFIG_MAKEFILE(test/Concrete/Makefile) AC_CONFIG_MAKEFILE(tools/Makefile) AC_CONFIG_MAKEFILE(unittests/Makefile) |