diff options
| author |  Miklos Vajna <vmiklos@frugalware.org> | 2008-12-03 14:26:48 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-12-03 14:27:17 -0800 |
| commit | d69da76dd0bc352e358c4beb5eb3aae5588c99de (patch) | |
| tree | 119d8f52478345d2e4cc191ce6cc777a65dc8d82 | |
| parent | Merge branch 'jc/rm-i-t-a' (diff) | |
| download | tgif-d69da76dd0bc352e358c4beb5eb3aae5588c99de.tar.xz | |
filter-branch: use git rev-parse -q
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -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 81392add0b..c106f45af7 100755 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -256,7 +256,7 @@ while read commit parents; do *) # The commit may not have the subdirectory at all err=$(git read-tree -i -m $commit:"$filter_subdir" 2>&1) || { - if ! git rev-parse --verify $commit:"$filter_subdir" 2>/dev/null + if ! git rev-parse -q --verify $commit:"$filter_subdir" then rm -f "$GIT_INDEX_FILE" else |