From 4fa6be02300ff1bbf3772be0c8f7993a46c3769e Mon Sep 17 00:00:00 2001
From: Fabian Wolff <fabi.wolff@arcor.de>
Date: Mon, 3 Oct 2016 11:52:25 +0200
Subject: [PATCH] Use rmdir instead of rm -r
---
tools/check_for_upgrade.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/check_for_upgrade.sh b/tools/check_for_upgrade.sh
index d1b174c6d..3c9a4e4ca 100644
--- a/tools/check_for_upgrade.sh
+++ b/tools/check_for_upgrade.sh
@@ -60,5 +60,5 @@ then
_update_zsh_update
fi
- rm -r $ZSH/log/update.lock
+ rmdir $ZSH/log/update.lock
fi