aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index cd76562ed..82ec1c949 100755
--- a/configure
+++ b/configure
@@ -252,6 +252,7 @@ if test $backend = llvm; then
check_version 5.0 $llvm_version ||
check_version 6.0 $llvm_version ||
check_version 7.0 $llvm_version ||
+ check_version 8.0 $llvm_version ||
false; then
echo "Debugging is not enabled with llvm $llvm_version"
llvm_be=llvm4-nodebug