diff options
| -rwxr-xr-x | git-reset.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-reset.sh b/git-reset.sh index e028ff65d..dfa9cb8bb 100755 --- a/git-reset.sh +++ b/git-reset.sh @@ -81,10 +81,12 @@ case "$reset_type" in while (<$fh>) { chomp; if (! exists $keep{$_}) { - print "$_\0"; + # it is ok if this fails -- it may already + # have been culled by checkout-index. + unlink $_; } } - ' $tmp-exists | xargs -0 rm -f -- + ' $tmp-exists ;; --soft ) ;; # Nothing else to do |