diff options
| author | Leonardo Hernández Hernández <leohdz172@protonmail.com> | 2022-08-26 18:26:36 -0500 |
|---|---|---|
| committer | Leonardo Hernández Hernández <leohdz172@protonmail.com> | 2022-08-26 18:26:36 -0500 |
| commit | e0cc5b046c4061cc1f57118167b5542626e27ba3 (patch) | |
| tree | df2db7882ca92faa2e569cfa3b524ad20a80cb30 /generate-version.sh | |
| parent | 058c699ac2552db13ea8bbef64182c59cceaf55c (diff) | |
| parent | 406aebcbd2d9526834ad4131ac8b454a9f27c0d9 (diff) | |
Merge remote-tracking branch 'djpohly/main' into wlroots-next
Diffstat (limited to 'generate-version.sh')
| -rwxr-xr-x | generate-version.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/generate-version.sh b/generate-version.sh deleted file mode 100755 index cf408e1..0000000 --- a/generate-version.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -if git tag --contains HEAD | grep -q $1; then - echo $1 -else - branch="$(git rev-parse --abbrev-ref HEAD)" - commit="$(git rev-parse --short HEAD)" - if [ "${branch}" != "main" ]; then - echo $1-$branch-$commit - else - echo $1-$commit - fi -fi |