diff options
| author | Jeff King <peff@peff.net> | 2008-03-13 00:41:02 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-03-13 10:57:53 +0300 |
| commit | d89c1dfac939623a269f60d4e27e3a2929dca29c (patch) | |
| tree | 6268560c0ebae5ed505de809d6cce31bdddfe295 /git-filter-branch.sh | |
| parent | 5f7c643afe8da21c82762f872632d6407530f9e8 (diff) | |
filter-branch: don't use xargs -0
Some versions of xargs don't understand "-0"; fortunately in
this case we can get the same effect by using "git clean".
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-filter-branch.sh')
| -rwxr-xr-x | git-filter-branch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-filter-branch.sh b/git-filter-branch.sh index 59cf023d5d..efef732202 100755 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -281,7 +281,7 @@ while read commit parents; do die "Could not checkout the index" # files that $commit removed are now still in the working tree; # remove them, else they would be added again - git ls-files -z --others | xargs -0 rm -f + git clean -q -f -x eval "$filter_tree" < /dev/null || die "tree filter failed: $filter_tree" |