diff options
author | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-12-20 20:18:01 +0000 |
---|---|---|
committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-12-20 20:18:01 +0000 |
commit | 3d106cc9634265a6e1d2c4ed4c8d973cce86e00f (patch) | |
tree | 09556cd7502ba4a8260303f9ed292e17db40ac3b | |
parent | 9fcf0885e048799f8bae979ccc755e62bef6bf0d (diff) | |
download | llvm-3d106cc9634265a6e1d2c4ed4c8d973cce86e00f.zip llvm-3d106cc9634265a6e1d2c4ed4c8d973cce86e00f.tar.gz llvm-3d106cc9634265a6e1d2c4ed4c8d973cce86e00f.tar.bz2 |
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
-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 |