chiark
/
gitweb
/
~yarrgweb
/
jarrg-ian.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
75d7ede
)
Strip jarrg- from tag names
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 9 Apr 2023 09:52:24 +0000
(10:52 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 9 Apr 2023 09:52:24 +0000
(10:52 +0100)
We'll use these tags from now on.
build-sh
patch
|
blob
|
history
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;