From 4a69bea6c20a66d014f61ac44a32b9a18b48218c Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 2 Dec 2014 21:04:20 +0000
Subject: [PATCH] checkout_isl: Do not fail in presence of an old CLooG
 checkout

This should help our buildbots and may also simplify life for other people.

llvm-svn: 223152
---
 polly/utils/checkout_isl.sh | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/polly/utils/checkout_isl.sh b/polly/utils/checkout_isl.sh
index 2763d59..df2115c 100755
--- a/polly/utils/checkout_isl.sh
+++ b/polly/utils/checkout_isl.sh
@@ -39,7 +39,19 @@ check_isl_directory() {
     IS_GIT=0
   else
     echo ":: Existing git repo found"
-    IS_GIT=1
+
+    git log cc726006058136865f8c2f496d3df57b9f937ea5 2> /dev/null > /dev/null
+    OUT=$?
+    if [ $OUT -eq 0 ];then
+         echo ":: ISL repository found!"
+         IS_GIT=1
+    else
+         echo ":: Unknown repository found (CLooG?)!"
+         echo ":: Moving it to ${ISL_DIR}_old"
+         run mv ${ISL_DIR} ${ISL_DIR}_old
+         run mkdir ${ISL_DIR}
+         IS_GIT=0
+    fi
   fi
 }
 
-- 
2.7.4