diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/linters/check-version-number.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/linters/check-version-number.sh b/.gitlab/linters/check-version-number.sh index e1869d097e..fbd10129bc 100755 --- a/.gitlab/linters/check-version-number.sh +++ b/.gitlab/linters/check-version-number.sh @@ -2,5 +2,5 @@ set -e -grep -e -q '\[[0-9]+\.[0-9]+\.[0-9]+\]' configure.ac || +grep -E -q '\[[0-9]+\.[0-9]+\.[0-9]+\]' configure.ac || ( echo "error: configure.ac: GHC version number must have three components."; exit 1 ) |