diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | debian/docs | 1 | ||||
| -rwxr-xr-x | mkversion | 10 |
3 files changed, 13 insertions, 0 deletions
@@ -15,3 +15,5 @@ /INSTALL /Makefile.in /Makefile +/VERSION + diff --git a/debian/docs b/debian/docs index 50bd824..0e14f42 100644 --- a/debian/docs +++ b/debian/docs @@ -1,2 +1,3 @@ NEWS README +VERSION diff --git a/mkversion b/mkversion new file mode 100755 index 0000000..03c1af1 --- /dev/null +++ b/mkversion @@ -0,0 +1,10 @@ +#!/bin/bash + +# Make GIT version reference file + +url=$( git repo-config --get remote.origin.url ) +test -z "$url" && url=file://$PWD +branch=$( git-branch --no-color | sed '/^\* /!d; s/^\* //' ) +sha=$( git log --pretty=oneline --no-color -n 1 | cut -c-8 ) + +echo "${url}#${branch}-${sha}" > VERSION |