From e05df3e1380989ca00ecd88b6d7d0f4aec5502fb Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Sun, 7 Apr 2019 15:13:49 -0400 Subject: gitlab-ci: Ensure that version number has three components --- .gitlab/linters/check-version-number.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 .gitlab/linters/check-version-number.sh (limited to '.gitlab/linters/check-version-number.sh') 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 ) -- cgit v1.2.1