diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/test.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/test.sh b/tools/test.sh index fa782c3..23c6663 100755 --- a/tools/test.sh +++ b/tools/test.sh @@ -196,15 +196,17 @@ fi case "$1" in "all") fail=0 + count=0 for t in $dir/../test/[!_]*.ssa do once $t fail=`expr $fail + $?` + count=`expr $count + 1` done if test $fail -ge 1 then echo - echo "$fail test(s) failed!" + echo "$fail of $count tests failed!" else echo echo "All is fine!" |