diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-12-14 13:32:45 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-17 13:58:30 -0500 |
| commit | 659fcb14937e60510e3eea4c1211ea117419905b (patch) | |
| tree | bdd0500b6c72f7fb5d03c97e8f955ac6e4d778eb /.gitlab | |
| parent | df7c7faa9998f2b618eab586bb4420d6743aad18 (diff) | |
| download | haskell-659fcb14937e60510e3eea4c1211ea117419905b.tar.gz | |
Fix project version for ProjectVersionMunged (fix #19058)
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/linters/check-version-number.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.gitlab/linters/check-version-number.sh b/.gitlab/linters/check-version-number.sh index fbd10129bc..4f478e487a 100755 --- a/.gitlab/linters/check-version-number.sh +++ b/.gitlab/linters/check-version-number.sh @@ -2,5 +2,6 @@ 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 ) +grep -E -q 'RELEASE=NO' configure.ac || + grep -E -q '\[[0-9]+\.[0-9]+\.[0-9]+\]' configure.ac || + ( echo "error: configure.ac: GHC version number must have three components when RELEASE=YES."; exit 1 ) |