From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Apr 2023 09:52:24 +0000 (+0100)
Subject: Strip jarrg- from tag names
X-Git-Tag: jarrg-1.1.1^2
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?a=commitdiff_plain;ds=sidebyside;h=a737f9869667e5e4c3ecd84a8260cd954bad1038;p=jarrg-ian.git

Strip jarrg- from tag names

We'll use these tags from now on.
---

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;