diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 00471115e4..5512b0d226 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -377,10 +377,13 @@ function build_hadrian() { if [ -z "$FLAVOUR" ]; then fail "FLAVOUR not set" fi + if [ -z "$BIN_DIST_NAME" ]; then + fail "BIN_DIST_NAME not set" + fi run_hadrian binary-dist - mv _build/bindist/ghc*.tar.xz ghc.tar.xz + mv _build/bindist/ghc*.tar.xz $BIN_DIST_NAME.tar.xz } function test_hadrian() { |