chiark / gitweb /
check: print totals
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 16:25:36 +0000 (16:25 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 16:25:36 +0000 (16:25 +0000)
check

diff --git a/check b/check
index 7ebdda0..290aac8 100755 (executable)
--- a/check
+++ b/check
@@ -33,6 +33,7 @@ perl -we '
     our $file;
     our $count;
     our $batch=0;
+    our $total=0;
     our @tasks;
 
     my @freecpus = qw('"$cpus"');
@@ -73,6 +74,7 @@ perl -we '
        push @tasks, [ $pid, $cpu, $batch ];
        $batch++;
        $file = undef;
+       $total += $count;
        $count = 0;
     }
 
@@ -87,5 +89,5 @@ perl -we '
     STDIN->error and die $!;
     complete_batch();
     await_task while @tasks;
-    print STDERR "check happy all done\n";
+    print STDERR "check exiting (total=$total)\n";
 '