diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-06-06 16:24:07 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-06-06 12:31:56 -0700 |
| commit | c12764b8b7e004f84b1e685b76f2d662bee8e196 (patch) | |
| tree | 5b5e2ea7322c8598ca596cfda0e43fcedb80402c | |
| parent | d674ee4cfcfc15cdee07c49d7f36656fe6c3e14d (diff) | |
| download | git-c12764b8b7e004f84b1e685b76f2d662bee8e196.tar.gz | |
filter-branch: use $(($i+1)) instead of $((i+1))
The expression $((i+1)) is not portable at all: even some bash versions
do not grok it. So do not use it.
Noticed by Jonas Fonseca.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
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 73e7c01009..2929925a0e 100755 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -339,7 +339,7 @@ test $commits -eq 0 && die "Found nothing to rewrite" i=0 while read commit; do - i=$((i+1)) + i=$(($i+1)) printf "$commit ($i/$commits) " git-read-tree -i -m $commit |