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:]]+)?\" $f || { + grep -EH $opts \ + -e "(VERSION=|[Ss]ubsurface[[:blank:]]+)?\" \ + $f || { [ $release != y ] || sts=1 whine "'$f' may need updating" }