1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index fd2d3bf02..40ea8dadb 100755
--- a/configure
+++ b/configure
@@ -276,6 +276,7 @@ if test $backend = llvm; then
        check_version 10.0 $llvm_version ||
        check_version 11.0 $llvm_version ||
        check_version 11.1 $llvm_version ||
+       check_version 12.0 $llvm_version ||
        false; then
     echo "Debugging is enabled with llvm $llvm_version"
   else