diff options
| author | Vincent Ambo <Vincent Ambo> | 2020-01-11T23·30+0000 |
|---|---|---|
| committer | Vincent Ambo <Vincent Ambo> | 2020-01-11T23·31+0000 |
| commit | 5a069d588820da31134d435268bca1cd1532783a (patch) | |
| tree | dcfee961700d80d0a30848818a2f07934af264a2 /third_party/cgit/gen-version.sh | |
| parent | 829de752da8039c7e3dab99db06d4e2112ca6ef4 (diff) | |
| parent | 723dc8fbcb1a4609c264758eae420ee2811a2b55 (diff) | |
merge(third_party/cgit): Import at master of 2020-01-11 r/371
Imported commit '723dc8fbcb1a4609c264758eae420ee2811a2b55' as 'third_party/cgit'.
Diffstat (limited to 'third_party/cgit/gen-version.sh')
| -rwxr-xr-x | third_party/cgit/gen-version.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/third_party/cgit/gen-version.sh b/third_party/cgit/gen-version.sh new file mode 100755 index 0000000000..80cf49af48 --- /dev/null +++ b/third_party/cgit/gen-version.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +# Get version-info specified in Makefile +V=$1 + +# Use `git describe` to get current version if we're inside a git repo +if test "$(git rev-parse --git-dir 2>/dev/null)" = '.git' +then + V=$(git describe --abbrev=4 HEAD 2>/dev/null) +fi + +new="CGIT_VERSION = $V" +old=$(cat VERSION 2>/dev/null) + +# Exit if VERSION is uptodate +test "$old" = "$new" && exit 0 + +# Update VERSION with new version-info +echo "$new" > VERSION +cat VERSION |