Commit 3d106cc9 authored by Tobias Grosser's avatar Tobias Grosser
Browse files

utils: remove the isl directory after cloning cloog 

This fixes my previous commit, thanks to "Dmitry N. Mikushin"
<maemarcus@gmail.com>

Merged from: https://llvm.org/svn/llvm-project/polly/trunk@168252

llvm-svn: 170731
parent 9fcf0885

polly/utils/checkout_cloog.sh

+3 −1
Original line number Diff line number Diff line
@@ -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