show: use streaming API for showing blobs

diff --git a/t/aggregate-results.sh b/t/aggregate-results.sh
index d5bab75d7da49ebb53e368d67f6b867f5417a125..7913e206ed6b73d16779e91d6a9197e602626c57 100755 (executable)
--- a/t/aggregate-results.sh
+++ b/t/aggregate-results.sh
@@ -1,12 +1,13 @@
 #!/bin/sh
 
+failed_tests=
 fixed=0
 success=0
 failed=0
 broken=0
 total=0
 
-for file
+while read file
 do
        while read type value
        do
@@ -18,7 +19,13 @@ do
                success)
                        success=$(($success + $value)) ;;
                failed)
-                       failed=$(($failed + $value)) ;;
+                       failed=$(($failed + $value))
+                       if test $value != 0
+                       then
+                               testnum=$(expr "$file" : 'test-results/\(t[0-9]*\)-')
+                               failed_tests="$failed_tests $testnum"
+                       fi
+                       ;;
                broken)
                        broken=$(($broken + $value)) ;;
                total)
@@ -27,6 +34,11 @@ do
        done <"$file"
 done
 
+if test -n "$failed_tests"
+then
+       printf "\nfailed test(s):$failed_tests\n\n"
+fi
+
 printf "%-8s%d\n" fixed $fixed
 printf "%-8s%d\n" success $success
 printf "%-8s%d\n" failed $failed