diff --git a/vcsh b/vcsh
index 4fb1c4571120dc83c926aa9d47e1f7d7d8e0921f..24c892195579fd8b7b4e1ddd4090ffae3bbdd72e 100755
--- a/vcsh
+++ b/vcsh
@@ -151,7 +151,7 @@ To continue, type 'Yes, do as I say'"
 	for file in $files; do
 		rm -f $file || info "could not delete '$file', continuing with deletion"
 	done
-	rm -r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
+	rm -rf "$GIT_DIR" || error "could not delete '$GIT_DIR'"
 }
 
 enter() {