diff options
| author | Sebastian Pop <spop@codeaurora.org> | 2012-11-18 04:34:31 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@codeaurora.org> | 2012-11-18 04:34:31 +0000 |
| commit | bea5a36b0166daeb8eff8f0c7a76d2f063927800 (patch) | |
| tree | 541e1e0793822dd791d34c007f399abaf0f58934 | |
| parent | 342455029493d8fd32ffe3d265b4652475fcb430 (diff) | |
| download | bcm5719-llvm-bea5a36b0166daeb8eff8f0c7a76d2f063927800.tar.gz bcm5719-llvm-bea5a36b0166daeb8eff8f0c7a76d2f063927800.zip | |
utils: use rmdir instead of rm to remove empty dirs
as suggested by Sven Verdoolaege <skimo-polly@kotnet.org>
llvm-svn: 168279
| -rwxr-xr-x | polly/utils/checkout_cloog.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh index 3bf06a90c2d..2ebb1e1607a 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -67,9 +67,9 @@ then echo :: Performing initial checkout # Remove the existing CLooG and ISL dirs to avoid crashing older git versions. cd ${CLOOG_DIR}/.. - run rm -rf ${CLOOG_DIR} + run rmdir "${CLOOG_DIR}" run git clone http://repo.or.cz/r/cloog.git ${CLOOG_DIR} - run rm -rf ${ISL_DIR} + run rmdir "${ISL_DIR}" run git clone http://repo.or.cz/r/isl.git ${ISL_DIR} fi |
