Strip jarrg- from tag names

We'll use these tags from now on.

diff --git a/build-sh b/build-sh
index 939718fe1b20a7575bfd11ede5db625f2e9dc71c..39a2be28c43817499fa9548248e975f1535b637f 100755 (executable)
--- 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;