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 c213916..e59e4d2 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();