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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index ab148c2c..f2714ae8 100755 --- a/configure +++ b/configure @@ -2660,8 +2660,8 @@ fi $as_echo_n "checking llvm build mode... " >&6; } if test X${with_llvm_build_mode} = Xcheck ; then - llvm_configs="`echo $llvm_obj/*/bin/llvm-config`" - if test -x "$llvm_configs" ; then + 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 as_fn_error $? "Could not autodetect build mode" "$LINENO" 5 |