diff options
| -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 |