summaryrefslogtreecommitdiff
path: root/.gitlab/ci.sh
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-10-05 22:36:00 -0400
committerBen Gamari <ben@smart-cactus.org>2020-10-16 00:15:31 -0400
commit9a9679dbfc77c600e6c2a031ccab37d203a19cf9 (patch)
treeacbf7f95d52dd7efbbf6096c5a1f9f74d4d75959 /.gitlab/ci.sh
parentc4a69f37acf5c04e3c4d912d01b25a06a71b224c (diff)
downloadhaskell-9a9679dbfc77c600e6c2a031ccab37d203a19cf9.tar.gz
gitlab-ci: Fix Hadrian bindist names
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x.gitlab/ci.sh5
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() {