diff options
| -rwxr-xr-x | scripts/check-version | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/check-version b/scripts/check-version index 66ee0861d..29719a76f 100755 --- a/scripts/check-version +++ b/scripts/check-version @@ -77,7 +77,9 @@ done sts=0 whine "checking for version $v" for f in $files; do - grep $opts -EHi "(VERSION=|subsurface[[:blank:]]+)?\<v?$v[.0-9]*\>" $f || { + grep -EH $opts \ + -e "(VERSION=|[Ss]ubsurface[[:blank:]]+)?\<v?$v[.0-9]*\>" \ + $f || { [ $release != y ] || sts=1 whine "'$f' may need updating" } |