From 3433ff8d5a02b21527c8a00664f5b275ec495244 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <gerwitzm@lovullo.com>
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 <http://www.gnu.org/licenses/>.
+##
+
+# 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