utils: use rmdir instead of rm to remove empty dirs

as suggested by Sven Verdoolaege <skimo-polly@kotnet.org>

llvm-svn: 168279

diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index 3bf06a9..2ebb1e1 100755 (executable)
--- 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