chiark / gitweb /
check better output smaller batches
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:38:21 +0000 (15:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:38:21 +0000 (15:38 +0000)
check

diff --git a/check b/check
index 0a809e050db819fa19ba00fb5c666c7981c8e225..7ffa2da33ecc73a00cd89101b966f95d728148a4 100755 (executable)
--- a/check
+++ b/check
@@ -53,7 +53,7 @@ perl -we '
        waitpid $pid, 0 == $pid or die $!;
        die "$oldbatch $?" if $?;
        unlink "b$oldbatch" or die "$oldbatch $!";
-        print STDERR "check completed $oldbatch [$pid] #$cpu\n";
+#        print STDERR "check completed $oldbatch [$pid] #$cpu\n";
        push @freecpus, $cpu;
     }
 
@@ -62,7 +62,7 @@ perl -we '
 
        close $file or die $!;
 
-        print STDERR "check closing $batch ($count)\n";
+#        print STDERR "check closing $batch ($count)\n";
 
        await_task unless @freecpus;
 
@@ -78,7 +78,7 @@ perl -we '
            exec qw(eatmydata git update-ref --stdin);
            die $!;
        }
-        print STDERR "check spawned $batch ($count) [$pid] #$cpu\n";
+#        print STDERR "check spawned $batch ($count) [$pid] #$cpu\n";
        push @tasks, [ $pid, $cpu, $batch ];
        $batch++;
        $file = undef;
@@ -90,10 +90,11 @@ perl -we '
         $file ||= new IO::File "b$batch", ">" or die $!;
         chomp;
        print $file "delete refs/tags/$_\n" or die $!;
-       $count++ < 100000 or complete_batch;
+       $count++ < 1000 or complete_batch;
     }
 #print STDERR "FOO\n";
     STDIN->error and die $!;
     complete_batch();
     await_task while @tasks;
+    print STDERR "check happy all done\n";
 '