Skip to content
Snippets Groups Projects
Commit 0dace393 authored by Sebastian Pop's avatar Sebastian Pop
Browse files

utils: remove existing cloog and isl dirs before git cloning

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

llvm-svn: 168250
parent bb1b3518
No related branches found
No related tags found
No related merge requests found
...@@ -65,6 +65,8 @@ ISL_DIR=${CLOOG_DIR}/isl ...@@ -65,6 +65,8 @@ ISL_DIR=${CLOOG_DIR}/isl
if [ ${IS_GIT} -eq 0 ] if [ ${IS_GIT} -eq 0 ]
then then
echo :: Performing initial checkout 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/cloog.git ${CLOOG_DIR}
run git clone http://repo.or.cz/r/isl.git ${ISL_DIR} run git clone http://repo.or.cz/r/isl.git ${ISL_DIR}
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment