From 24176882abec3f0d35a7e7850a83b2298c3ae1b1 Mon Sep 17 00:00:00 2001
From: Foo <kp-pav@yandex.ru>
Date: Sun, 10 May 2015 21:59:38 +0300
Subject: [PATCH] Use force-removal of .git

Otherwise it may hang with message like

    rm: remove write-protected regular file `tests/bot-ci/.git/objects/pack/pack-589af67feed5a0f1d2c4cfb43325ab5165539bcc.pack'?
---
 tests/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/install.sh b/tests/install.sh
index e71a9e73..6c1bbbd0 100755
--- a/tests/install.sh
+++ b/tests/install.sh
@@ -17,7 +17,7 @@ checkout_cached_dir() {
 	if ! test -d "$target" ; then
 		git clone --depth=1 "$url" "$target"
 		mv "$target"/.git/refs/heads/master .version
-		rm -r "$target"/.git
+		rm -rf "$target"/.git
 	fi
 }