Commit 9fcf0885 authored by Tobias Grosser's avatar Tobias Grosser
Browse files

utils: remove existing cloog and isl dirs before git cloning 

Patch adapted from "Dmitry N. Mikushin" <maemarcus@gmail.com>.

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

llvm-svn: 170730
parent 26a7ebf2

polly/utils/checkout_cloog.sh

+2 −0
Original line number Diff line number Diff line
@@ -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