`4fa6be02300ff1bbf3772be0c8f7993a46c3769e`

Author: Fabian Wolff <fabi.wolff@arcor.de>
Committer: Marc Cornellà <marc.cornella@live.com>
Date: 2016-10-03 10:05 UTC

Message

Use rmdir instead of rm -r

Diff

 1diff --git a/tools/check_for_upgrade.sh b/tools/check_for_upgrade.sh
 2index d1b174c6deb01eac89920f0ad6ce801b94c2fc4d..3c9a4e4ca640409e2045bab0d37d4ec24c9be790 100644
 3--- a/tools/check_for_upgrade.sh
 4+++ b/tools/check_for_upgrade.sh
 5@@ -60,5 +60,5 @@ then
 6     _update_zsh_update
 7   fi
 8 
 9-  rm -r $ZSH/log/update.lock
10+  rmdir $ZSH/log/update.lock
11 fi