From 61d6015d7658040f7c72917c1e61a7ee45a5662f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 20 Jan 2015 02:59:54 +0000
Subject: [PATCH] JIT

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

diff --git a/configure b/configure
index 078d0bf58..d5ce887cf 100755
--- a/configure
+++ b/configure
@@ -10915,7 +10915,7 @@ if test x"$LLVM_CONFIG" = x"no" ;then
     as_fn_error $? "--enable-jit was given, but test for LLVM 3.5 failed" "$LINENO" 5
 else
     LLVM_VERSION="`$LLVM_CONFIG --version`"
-    if test "$LLVM_VERSION" != "3.5.0";then
+    if test "$LLVM_VERSION" != "3.5.0" -o "$LLVM_VERSION" != "3.5.1";then
         as_fn_error $? "Test for LLVM 3.5 failed" "$LINENO" 5
     fi