summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorBen Gamari <ben@well-typed.com>2019-04-13 09:51:59 -0400
committerBen Gamari <ben@well-typed.com>2019-04-13 09:51:59 -0400
commit7876d08881b66c3e47d8dab3420c9c14616325e4 (patch)
tree18b23dbca8ab2a83df303ba01d244f5a8c6838c6 /.gitlab
parent8870a51bd62f2d4ee7bd21b96240d5806c2817af (diff)
downloadhaskell-7876d08881b66c3e47d8dab3420c9c14616325e4.tar.gz
linters: Fix check-version-number
This should have used `grep -E`, not `grep -e`
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/linters/check-version-number.sh2
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 )