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'?
2015-05-10 21:59:38 +03:00 · 2015-05-10 21:59:38 +03:00 · 24176882ab
parent 37a0c4dd24
commit 24176882ab
1 changed files with 1 additions and 1 deletions
--- 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
 }