From e49cb7b91946bbe866e684c47ccb703a83f78dec Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 15 Oct 2021 07:42:38 +0200
Subject: configure: blindly allow llvm 13

---
 configure | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3