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>

diff --git a/git-filter-branch.sh b/git-filter-branch.sh
index 73e7c010099e6ff1defc614d6f8a70f301aaff70..2929925a0e4c29c89ea37793e51611cedc267145 100755 (executable)
--- 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