From a737f9869667e5e4c3ecd84a8260cd954bad1038 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Apr 2023 10:52:24 +0100
Subject: [PATCH] Strip jarrg- from tag names

We'll use these tags from now on.
---
 build-sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-sh b/build-sh
index 939718f..39a2be2 100755
--- a/build-sh
+++ b/build-sh
@@ -17,6 +17,7 @@ revision=`git describe --always || echo '(unknown revision)'`
 if [ x"`git diff 2>/dev/null || echo x`" != x ]; then
 	revision="$revision-local"
 fi
+revision=${revision#jarrg-}
 
 cat >src/net/chiark/yarrg/Version.java <<END
   package net.chiark.yarrg;
-- 
2.30.2