From 6d391208521442ac872d1682593d4541ab3b754d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 4 Apr 2017 04:39:53 +0200
Subject: Use llvm4-nodebug for llvm 3.9

---
 configure | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 97591dc40..b6e22cb03 100755
--- a/configure
+++ b/configure
@@ -161,11 +161,8 @@ if test $backend = llvm; then
 	llvm_be=llvm-nodebug
 	# Tested with llvm 3.5, so assume 3.6, 3.7 and 3.8
 	llvm_be_ver=35
-    elif check_version 3.9 $llvm_version; then
-	echo "Debugging is not enabled with llvm $llvm_version"
-	llvm_be=llvm-nodebug
-	llvm_be_ver=39
-    elif check_version 4.0 $llvm_version; then
+    elif check_version 3.9 $llvm_version ||
+         check_version 4.0 $llvm_version; then
 	echo "Debugging is not enabled with llvm $llvm_version"
 	llvm_be=llvm4-nodebug
 	llvm_be_ver=4
-- 
cgit v1.2.3