From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 5 Feb 2016 19:23:28 +0000 (+0000)
Subject: commitid.scad.pl: Rename Full<n> to Full<n*2>
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=reprap-play.git;a=commitdiff_plain;h=bd86cff9c4b11edafb50d802172dc8f3ac37517d

commitid.scad.pl: Rename Full<n> to Full<n*2>
---

diff --git a/commitid.scad.pl b/commitid.scad.pl
index 053bcc3..6838365 100755
--- a/commitid.scad.pl
+++ b/commitid.scad.pl
@@ -80,9 +80,10 @@ $SIG{__WARN__} = sub { die @_; };
 #       eg if the commitid is abcdef0123...
 #            Git5    abcd*
 
-#   Full4 Full6 ... Full10:
+#   Full4 Full6 ... Full20:
 #       git-rev-list --first-parent --count HEAD
 #       git-rev-parse HEAD
+#       (all on two lines)
 #       eg
 #            Full6    abcdef       Full8     abcdef01
 #                     23456*                 _123456*
@@ -347,7 +348,7 @@ sub do_git () {
 	    if defined $git_object;
 
 	if (defined $git_count && defined $git_object) {
-	    gentextmodule("Full$sz",
+	    gentextmodule("Full".($sz*2),
 			  ljustt($sz, $git_object),
 			  rjustt($sz, $git_count, $git_dirty));