1 files changed, 1 insertions, 0 deletions

diff --git a/configure b/configure
index d870ea21a..7af4e9ab0 100755
--- a/configure
+++ b/configure
@@ -280,6 +280,7 @@ if test $backend = llvm; then
        check_version 11.0 $llvm_version ||
        check_version 11.1 $llvm_version ||
        check_version 12.0 $llvm_version ||
+       check_version 13.0 $llvm_version ||
        false; then
     echo "Debugging is enabled with llvm $llvm_version"
   else