12 lines
435 B
Diff
12 lines
435 B
Diff
--- a/tools/version.sh 2020-04-08 19:39:40.349461034 +0200
|
|
+++ b/tools/version.sh 2020-04-08 19:40:26.354277094 +0200
|
|
@@ -1,8 +1,2 @@
|
|
#!/bin/sh
|
|
-sed -ne '1s/.*(\(.*\)).*/\1/' -e '1s/-1$//' -e '1p' debian/changelog | tr -d "\n"
|
|
-test -d .git || exit
|
|
-git=$(git rev-parse --short HEAD)
|
|
-lgit=$(git rev-parse --short $(git rev-list -1 HEAD debian/changelog) )
|
|
-if test "$git" != "$lgit" ; then
|
|
- echo -n ":$git"
|
|
-fi
|
|
+echo -n "0.14.35"
|