utils: use rmdir instead of rm to remove empty dirs
authorSebastian Pop <spop@codeaurora.org>
Sun, 18 Nov 2012 04:34:31 +0000 (04:34 +0000)
committerSebastian Pop <spop@codeaurora.org>
Sun, 18 Nov 2012 04:34:31 +0000 (04:34 +0000)
commitbea5a36b0166daeb8eff8f0c7a76d2f063927800
tree541e1e0793822dd791d34c007f399abaf0f58934
parent342455029493d8fd32ffe3d265b4652475fcb430
utils: use rmdir instead of rm to remove empty dirs

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

llvm-svn: 168279
polly/utils/checkout_cloog.sh