chiark
/
gitweb
/
~ianmdlvl
/
reprap-play.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5ccd597
)
commitid: print something to stderr
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 23:32:32 +0000
(23:32 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 23:32:32 +0000
(23:32 +0000)
commitid.scad.pl
patch
|
blob
|
history
diff --git
a/commitid.scad.pl
b/commitid.scad.pl
index c21391623aa18c9f079c94b5a1d0ce7378eac6ce..e59e4d2d2a4d97e4e0dcc30e597d470b9b969387 100755
(executable)
--- a/
commitid.scad.pl
+++ b/
commitid.scad.pl
@@
-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();