linters: Fix check-version-number
authorBen Gamari <ben@well-typed.com>
Sat, 13 Apr 2019 13:51:59 +0000 (09:51 -0400)
committerBen Gamari <ben@well-typed.com>
Sat, 13 Apr 2019 13:51:59 +0000 (09:51 -0400)
This should have used `grep -E`, not `grep -e`

.gitlab/linters/check-version-number.sh

index e1869d0..fbd1012 100755 (executable)
@@ -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 )