diff --git a/test/run b/test/run index cb23ae8f..a17246fc 100755 --- a/test/run +++ b/test/run @@ -102,7 +102,7 @@ main() { number_failures=$(($number_failures + 1)) fi else - sed -ri 's/^[0-9]+:[0-9]+: //g' stderr + sed -i -e 's/^[0-9]*:[0-9]*: //g' stderr if [ -s error ] && ! cmp -s error stderr; then color=yellow fi