From 0dace3939d9b90e7dda018c0731dafe3583b6d83 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Sat, 17 Nov 2012 03:43:48 +0000 Subject: [PATCH] utils: remove existing cloog and isl dirs before git cloning Patch adapted from "Dmitry N. Mikushin" . llvm-svn: 168250 --- polly/utils/checkout_cloog.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh index 971c027..27c977ae 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -65,6 +65,8 @@ ISL_DIR=${CLOOG_DIR}/isl if [ ${IS_GIT} -eq 0 ] then echo :: Performing initial checkout + # Remove the existing CLooG and ISL dirs to avoid crashing older git versions. + run rm -rf ${CLOOG_DIR} ${ISL_DIR} run git clone http://repo.or.cz/r/cloog.git ${CLOOG_DIR} run git clone http://repo.or.cz/r/isl.git ${ISL_DIR} fi -- 2.7.4