diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 8 insertions, 7 deletions
@@ -272,13 +272,14 @@ if test $backend = llvm; then echo "Debugging is not enabled with llvm $llvm_version" llvm_be=llvm-nodebug # Tested with llvm 3.5, so assume 3.6, 3.7 and 3.8 - elif check_version 3.9 $llvm_version || - check_version 4.0 $llvm_version || - check_version 5.0 $llvm_version || - check_version 6.0 $llvm_version || - check_version 7.0 $llvm_version || - check_version 8.0 $llvm_version || - check_version 9.0 $llvm_version || + elif check_version 3.9 $llvm_version || + check_version 4.0 $llvm_version || + check_version 5.0 $llvm_version || + check_version 6.0 $llvm_version || + check_version 7.0 $llvm_version || + check_version 8.0 $llvm_version || + check_version 9.0 $llvm_version || + check_version 10.0 $llvm_version || false; then echo "Debugging is not enabled with llvm $llvm_version" llvm_be=llvm4-nodebug |