aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure7
1 files changed, 2 insertions, 5 deletions
diff --git a/configure b/configure
index 97591dc40..b6e22cb03 100755
--- a/configure
+++ b/configure
@@ -161,11 +161,8 @@ if test $backend = llvm; then
llvm_be=llvm-nodebug
# Tested with llvm 3.5, so assume 3.6, 3.7 and 3.8
llvm_be_ver=35
- elif check_version 3.9 $llvm_version; then
- echo "Debugging is not enabled with llvm $llvm_version"
- llvm_be=llvm-nodebug
- llvm_be_ver=39
- elif check_version 4.0 $llvm_version; then
+ elif check_version 3.9 $llvm_version ||
+ check_version 4.0 $llvm_version; then
echo "Debugging is not enabled with llvm $llvm_version"
llvm_be=llvm4-nodebug
llvm_be_ver=4