diff options
author | Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> | 2013-05-12 11:51:56 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2013-05-12 07:23:57 -0700 |
commit | 9cae783703391355360715b91cd86f67da1d3b27 (patch) | |
tree | 1284b2f3c5d23868bd884d541b1f973811d155f5 /scripts/check-version | |
parent | b994b534c50932f6318bf4e9d40fdc0e1845cb7d (diff) | |
download | subsurface-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/check-version')
-rwxr-xr-x | scripts/check-version | 11 |
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]*\>" \ |