chiark / gitweb /
commitid: print something to stderr
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 23:32:32 +0000 (23:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 23:32:32 +0000 (23:32 +0000)
commitid.scad.pl

index c21391623aa18c9f079c94b5a1d0ce7378eac6ce..e59e4d2d2a4d97e4e0dcc30e597d470b9b969387 100755 (executable)
@@ -507,6 +507,8 @@ sub do_git () {
     if ($do_git =~ m/o/) {
        $git_object = gitoutput qw(rev-parse HEAD);
     }
+    print STDERR join ' ', map { $_ // '?' }
+       "-- commitid", $git_object, $git_dirty, $git_count, "--\n";
 
     foreach my $sz (2..10) {
        gentextmodule_demo_start_batch();