diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-10-05 22:36:00 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-10-16 00:15:31 -0400 |
| commit | 9a9679dbfc77c600e6c2a031ccab37d203a19cf9 (patch) | |
| tree | acbf7f95d52dd7efbbf6096c5a1f9f74d4d75959 /.gitlab | |
| parent | c4a69f37acf5c04e3c4d912d01b25a06a71b224c (diff) | |
| download | haskell-9a9679dbfc77c600e6c2a031ccab37d203a19cf9.tar.gz | |
gitlab-ci: Fix Hadrian bindist names
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() { |