Commit 8b149dd1 authored by Tobias Grosser's avatar Tobias Grosser
Browse files

utils: use rmdir instead of rm to remove empty dirs 

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

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

llvm-svn: 170732
parent 3d106cc9

polly/utils/checkout_cloog.sh

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