1
0
mirror of https://github.com/git/git.git synced 2024-11-15 15:03:47 +01:00

[PATCH] Do not rely on a sane wc

Some implementations of wc pad the line number with white space, which
expr does not grok as a number.

Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
Johannes Schindelin 2005-08-01 16:32:37 +02:00 committed by Junio C Hamano
parent ade75a59fd
commit 9b75e9fa7b

@ -109,7 +109,7 @@ _x40="$_x40$_x40$_x40$_x40$_x40$_x40$_x40$_x40"
stripCommitHead='/^'"$_x40"' (from '"$_x40"')$/d'
git-rev-list --merge-order "$junio" "^$linus" >$series
total=`wc -l <$series`
total=`wc -l <$series | tr -dc "[0-9]"`
i=$total
while read commit
do