diff options
-rwxr-xr-x | polly/utils/checkout_cloog.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh index 27c977ae..3bf06a9 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -66,8 +66,10 @@ 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} + cd ${CLOOG_DIR}/.. + run rm -rf ${CLOOG_DIR} run git clone http://repo.or.cz/r/cloog.git ${CLOOG_DIR} + run rm -rf ${ISL_DIR} run git clone http://repo.or.cz/r/isl.git ${ISL_DIR} fi |