diff options
| author | Dan Liew <delcypher@gmail.com> | 2013-12-19 03:41:31 -0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2013-12-19 03:41:31 -0800 |
| commit | 542a604b42798f061ac7a2280279ea5e3db471d9 (patch) | |
| tree | dc4c9571f50ef84c99b4847eab7192574307d258 /autoconf | |
| parent | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (diff) | |
| parent | 99b748b47f97361f42c5c1778dde3f6542cd7a3e (diff) | |
| download | klee-542a604b42798f061ac7a2280279ea5e3db471d9.tar.gz | |
Merge pull request #80 from MartinNowack/fix_multiple_buildmodes
Allow different build modes for LLVM coexist (this issue can be avoided entirely if out of source builds are used and each build is its own directory)
Diffstat (limited to 'autoconf')
| -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 |