diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-12-19 08:45:27 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-12-19 08:47:59 +0100 |
| commit | 99b748b47f97361f42c5c1778dde3f6542cd7a3e (patch) | |
| tree | dc4c9571f50ef84c99b4847eab7192574307d258 /autoconf/configure.ac | |
| parent | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (diff) | |
| download | klee-99b748b47f97361f42c5c1778dde3f6542cd7a3e.tar.gz | |
Allow different build modes for LLVM coexist
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 4bd79557..09769f8f 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -161,8 +161,7 @@ AC_ARG_WITH(llvm-build-mode, AC_MSG_CHECKING([llvm build mode]) if test X${with_llvm_build_mode} = Xcheck ; then - llvm_configs="`echo $llvm_obj/*/bin/llvm-config`" - dnl This will be true if the user has exactly 1 build mode built + llvm_configs="`ls -1 $llvm_obj/*/bin/llvm-config 2>/dev/null | head -n 1`" if test -x "$llvm_configs" ; then llvm_build_mode="`$llvm_configs --build-mode`" else |