diff options
| author |  Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> | 2013-05-12 11:50:37 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2013-05-12 07:23:53 -0700 |
| commit | 6d19e9c7ea86dbb03ab9d9d7882c886428174b75 (patch) | |
| tree | be1f22d4d3d71cb47520fc88ca5567cc832fc4d1 | |
| parent | 487b83d714197d19af09aa78ccd3e75a091d135b (diff) | |
| download | subsurface-6d19e9c7ea86dbb03ab9d9d7882c886428174b75.tar.gz | |
Whole text lines are easier to find.
Signed-off-by: Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -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" } |