From 3433ff8d5a02b21527c8a00664f5b275ec495244 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 15 Nov 2016 12:03:13 -0500 Subject: Add tools/vergen Taken from GNU ease.js. * tools/vergen: Added script. --- tools/vergen | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100755 tools/vergen diff --git a/tools/vergen b/tools/vergen new file mode 100755 index 0000000..0a2c45f --- /dev/null +++ b/tools/vergen @@ -0,0 +1,37 @@ +#!/bin/sh +# Generates version string +# +# Copyright (C) 2012, 2013, 2014 Free Software Foundation, Inc. +# +# This file is part of GNU ease.js. +# +# 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 . +## + +# for distributions +if [ -s version ]; then + cat version + exit +fi + +git rev-parse --show-toplevel >/dev/null 2>&1 || { + echo 'fatal: git repository is not available' +} + +version="$( git describe --match='[0-9]\.*' --abbrev=7 HEAD 2>/dev/null )" +git update-index -q --refresh +test -z "$( git diff-index --name-only HEAD)" || version="$version-dirty" + +echo -n "$version" + -- cgit v1.2.1