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 /configure | |
| parent | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (diff) | |
| download | klee-99b748b47f97361f42c5c1778dde3f6542cd7a3e.tar.gz | |
Allow different build modes for LLVM coexist
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 |