From 54f5ee552c23a919792b365d96cc03ab89a11872 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 5 Feb 2016 17:43:40 +0000
Subject: [PATCH] commitid.scad.pl: Generate up to size 10

---
 commitid.scad.pl | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/commitid.scad.pl b/commitid.scad.pl
index ff36341..c03b044 100755
--- a/commitid.scad.pl
+++ b/commitid.scad.pl
@@ -58,6 +58,8 @@ $SIG{__WARN__} = sub { die @_; };
 #   Small6:
 #   Small7:
 #   Small8:
+#   Small9:
+#   Small10:
 #       git rev-list --first-parent --count HEAD
 #       typically 3-4 characters but we allow for up to 6
 #       padded with zeroes; if too long we reduce mod 10^n
@@ -68,7 +70,8 @@ $SIG{__WARN__} = sub { die @_; };
 #
 #   Small4Q:
 #   Small6Q:
-#   Small9Q:
+#   Small8Q:
+#   Small10Q:
 #       same but in two lines eg
 #            Small4Q  10
 #                     70
@@ -76,6 +79,7 @@ $SIG{__WARN__} = sub { die @_; };
 #   Git4   Git4Q
 #   Git6   Git6Q
 #   Git8   Git8Q
+#   Git10  Git10Q
 #       git-rev-parse HEAD   (prefix of requested length)
 #       eg
 #            Git6    82f2a2
@@ -306,7 +310,7 @@ sub do_git () {
 	$git_object = gitoutput qw(rev-parse HEAD);
     }
 
-    foreach my $sz (3..8) {
+    foreach my $sz (3..10) {
 	gentextmodule_plusq("Small$sz", rjustt($sz, $git_count.$git_dirty))
 	    if defined $git_count;
 
-- 
2.30.2