summaryrefslogtreecommitdiffstats
path: root/scripts/check-version
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/check-version')
-rwxr-xr-xscripts/check-version2
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"
}