diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/linters/check-version-number.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab/linters/check-version-number.sh b/.gitlab/linters/check-version-number.sh new file mode 100755 index 0000000000..e1869d097e --- /dev/null +++ b/.gitlab/linters/check-version-number.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env bash + +set -e + +grep -e -q '\[[0-9]+\.[0-9]+\.[0-9]+\]' configure.ac || + ( echo "error: configure.ac: GHC version number must have three components."; exit 1 ) |