diff options
author | Ben Gamari <ben@well-typed.com> | 2019-04-13 09:51:59 -0400 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-04-13 09:51:59 -0400 |
commit | 7876d08881b66c3e47d8dab3420c9c14616325e4 (patch) | |
tree | 18b23dbca8ab2a83df303ba01d244f5a8c6838c6 /.gitlab | |
parent | 8870a51bd62f2d4ee7bd21b96240d5806c2817af (diff) | |
download | haskell-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.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 ) |