From 554d4e399c0bae25b9edba2aa51f450028023c2b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 4 Nov 2016 16:25:36 +0000
Subject: [PATCH] check: print totals

---
 check | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/check b/check
index 7ebdda0..290aac8 100755
--- 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";
 '
-- 
2.30.2