[PATCH] Introduce a 'die' function.

[git.git] / git-reset.sh

diff --git a/git-reset.sh b/git-reset.sh
index 04c1ac0..e028ff6 100755 (executable)
--- a/git-reset.sh
+++ b/git-reset.sh
@@ -84,7 +84,7 @@ case "$reset_type" in
                                print "$_\0";
                        }
                }
-       ' $tmp-exists | xargs -0 rm -v -f --
+       ' $tmp-exists | xargs -0 rm -f --
        ;;
 --soft )
        ;; # Nothing else to do