summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorGravatar Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com>2013-05-12 11:51:56 +0200
committerGravatar Dirk Hohndel <dirk@hohndel.org>2013-05-12 07:23:57 -0700
commit9cae783703391355360715b91cd86f67da1d3b27 (patch)
tree1284b2f3c5d23868bd884d541b1f973811d155f5 /scripts
parentb994b534c50932f6318bf4e9d40fdc0e1845cb7d (diff)
downloadsubsurface-9cae783703391355360715b91cd86f67da1d3b27.tar.gz
Improved documentation; small code adjustments.
Signed-off-by: Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/check-version11
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/check-version b/scripts/check-version
index 29719a76f..24f90af79 100755
--- a/scripts/check-version
+++ b/scripts/check-version
@@ -2,13 +2,19 @@
# $1 - version string
# options:
-# -c colored grep
+# -c colored grep (implies -d)
# -d debug
# -r release (exit status error; when called from Makefile)
+# To validate relevant files are up to date, you would run the script
+# from command line before tagging:
+#
+# $ scripts/check-version -cr <tag>
+
set -eu
#set -x
+# You would typically add/remove files to/from the list
files="Documentation/user-manual.txt Makefile README ReleaseNotes.txt"
whine() {
@@ -50,6 +56,7 @@ fi
[ $color = n ] || opts="${opts:+$opts }--color"
v=${1:-}
+v=${v#v}
case $v in
*-*)
# Ignore development versions
@@ -63,6 +70,7 @@ case $v in
croak "invalid version string '$v'"
;;
esac
+whine "checking for version $v"
saveIFS=$IFS
IFS=.
@@ -75,7 +83,6 @@ while [ $# -gt 0 ]; do
done
sts=0
-whine "checking for version $v"
for f in $files; do
grep -EH $opts \
-e "(VERSION=|[Ss]ubsurface[[:blank:]]+)?\<v?$v[.0-9]*\>" \