diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-04-07 15:13:49 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-12 13:23:30 -0400 |
| commit | e05df3e1380989ca00ecd88b6d7d0f4aec5502fb (patch) | |
| tree | 865c89d7d715ea6226910825e6c5a238f507c1f7 /.gitlab | |
| parent | beaa07d204a779cc509985765a87da95faefb359 (diff) | |
| download | haskell-e05df3e1380989ca00ecd88b6d7d0f4aec5502fb.tar.gz | |
gitlab-ci: Ensure that version number has three components
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 ) |