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