diff options
| -rwxr-xr-x | scripts/check-version | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/scripts/check-version b/scripts/check-version index ab98211c6..f036fe2b0 100755 --- a/scripts/check-version +++ b/scripts/check-version @@ -64,10 +64,20 @@ case $v in ;; esac +saveIFS=$IFS +IFS=. +set -- $v +IFS=$saveIFS +v= +while [ $# -gt 0 ]; do + v=${v:+$v\\.}$1 + shift +done + sts=0 whine "checking for version $v" for f in $files; do - grep $opts -EHio "(VERSION=|subsurface[[:blank:]]+)?\<v?$v\>" $f || { + grep $opts -EHio "(VERSION=|subsurface[[:blank:]]+)?\<v?$v[.0-9]*\>" $f || { [ $release != y ] || sts=1 whine "'$f' may need updating" } |