diff options
| -rwxr-xr-x | test/run-arm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/run-arm b/test/run-arm index 4a469ceae..c7545ae0e 100755 --- a/test/run-arm +++ b/test/run-arm @@ -90,8 +90,8 @@ then failed=1 fi -notinbugs=$(sed '/^== bugs/q' run.out | grep -c '^BUG') -inbugs=$(sed '1,/^== bugs/d' run.out | grep -c '^BUG') +notinbugs=$(sed '/== bugs/q' run.out | grep -c '^BUG') +inbugs=$(sed '1,/== bugs/d' run.out | grep -c '^BUG') echo 2>&1 $inbugs known bugs';' $notinbugs unexpected bugs$diffmsg |