Use posix version of sed that is available on all
platforms.
No functional change.
# checking bench for various build types
#
# obtain reference from git log
# checking bench for various build types
#
# obtain reference from git log
- - git log | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed -rn "s/[^0-9]*([0-9]+)/\1/p" > git_sig
+ - git log | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9][0-9]*\)/\1/g" > git_sig
- export benchref=$(cat git_sig)
- echo "Reference bench:" $benchref
# verify against reference
- export benchref=$(cat git_sig)
- echo "Reference bench:" $benchref
# verify against reference
# compare to given reference
if [ "$1" != "$signature" ]; then
echo "signature mismatch: reference $1 obtained $signature"
# compare to given reference
if [ "$1" != "$signature" ]; then
echo "signature mismatch: reference $1 obtained $signature"
else
echo "signature OK: $signature"
fi
else
echo "signature OK: $signature"
fi