diff options
Diffstat (limited to 'script/misc')
| -rwxr-xr-x | script/misc/versioncheck | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/script/misc/versioncheck b/script/misc/versioncheck new file mode 100755 index 00000000..73fbb140 --- /dev/null +++ b/script/misc/versioncheck @@ -0,0 +1,48 @@ +#!/usr/bin/env sh + +# Copyright (C) 2021 Leah Rowe <info@minifree.org> +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. +# + +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u + +. "include/err.sh" + +project="$(cat projectname)" + +version="version-unknown" +[ -f version ] && version="$(cat version)" +version_="${version}" +if [ -e ".git" ]; then + version="$(git describe --tags HEAD 2>&1)" || \ + version="git-$(git rev-parse HEAD 2>&1)" || \ + version="${version_}" + printf "%s\n" "${version}" > version +fi + +versiondate="version-date-unknown" +[ -f versiondate ] && versiondate="$(cat versiondate)" +versiondate_="${versiondate}" +if [ -e ".git" ]; then + versiondate="$(git show --no-patch --no-notes --pretty='%ct' HEAD)" || \ + versiondate="${versiondate_}" + printf "%s\n" "${versiondate}" > versiondate +fi + +if [ "${versiondate}" = "version-date-unknown" ] || \ + [ "${version}" = "version-unknown" ]; then + err "cannot determine ${projectname} revision" +fi |