diff options
| author | Johannes Sixt <J.Sixt@eudaptics.com> | 2007-07-04 14:08:17 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-04 12:41:10 -0700 |
| commit | c57a3494c135ffb7ab5d070afecfcc42a3922edc (patch) | |
| tree | 412789a10b98b75192b5d46594a9388b46e30df7 | |
| parent | d54276f207081e35174c5d742e378cfff6e9843f (diff) | |
| download | git-c57a3494c135ffb7ab5d070afecfcc42a3922edc.tar.gz | |
filter-branch: Avoid an error message in the map function.
When the map function didn't find the rewritten commit of the passed in
original id, it printed the original id, but it still fell through to
the 'cat', which failed with an error message.
Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
Acked-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | git-filter-branch.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/git-filter-branch.sh b/git-filter-branch.sh index 22fb5bf6ad..5fa9b61740 100644 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -16,8 +16,12 @@ USAGE="git-filter-branch [-d TEMPDIR] [FILTERS] DESTBRANCH [REV-RANGE]" map() { # if it was not rewritten, take the original - test -r "$workdir/../map/$1" || echo "$1" - cat "$workdir/../map/$1" + if test -r "$workdir/../map/$1" + then + cat "$workdir/../map/$1" + else + echo "$1" + fi } # When piped a commit, output a script to set the ident of either |