diff options
| author | Johannes Sixt <johannes.sixt@telecom.at> | 2007-06-06 20:38:35 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-06-06 12:49:16 -0700 |
| commit | 3520e1e86878c6787c3abfe677e6472ce2c97f66 (patch) | |
| tree | 6cb404834d1eee587438759d5985906cffe0a446 | |
| parent | 2766ce28150597677bb91c424e6033a298c71510 (diff) | |
| download | git-3520e1e86878c6787c3abfe677e6472ce2c97f66.tar.gz git-3520e1e86878c6787c3abfe677e6472ce2c97f66.tar.xz | |
filter-branch: also don't fail in map() if a commit cannot be mapped
The map() function can be used by filters to map a commit id to its
rewritten id. Such a mapping may not exist, in which case the identity
mapping is used (the commit is returned unchanged).
In the rewrite loop, this mapping is also needed, but was done
explicitly in the same way. Use the map() function instead.
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>
| -rwxr-xr-x | git-filter-branch.sh | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/git-filter-branch.sh b/git-filter-branch.sh index 29e0d027c..9d61b7fff 100755 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -184,7 +184,8 @@ USAGE="git-filter-branch [-d TEMPDIR] [FILTERS] DESTBRANCH [REV-RANGE]" map() { - [ -r "$workdir/../map/$1" ] || return 1 + # if it was not rewritten, take the original + test -r "$workdir/../map/$1" || echo "$1" cat "$workdir/../map/$1" } @@ -347,14 +348,9 @@ while read commit; do parentstr= for parent in $(get_parents $commit); do - if [ -r "../map/$parent" ]; then - for reparent in $(cat "../map/$parent"); do - parentstr="$parentstr -p $reparent" - done - else - # if it was not rewritten, take the original - parentstr="$parentstr -p $parent" - fi + for reparent in $(map "$parent"); do + parentstr="$parentstr -p $reparent" + done done if [ "$filter_parent" ]; then parentstr="$(echo "$parentstr" | eval "$filter_parent")" |