diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-01-19 15:04:30 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-14 10:16:36 -0500 |
commit | 0725f4bbc7f59282ee5fe41619099957030d85ff (patch) | |
tree | 4fcfac2cdac250ac2d6db89e7343fbac62317119 /.gitlab-ci.yml | |
parent | 813842f42023457ccb4d93b5906e0f492e4721b2 (diff) | |
download | haskell-0725f4bbc7f59282ee5fe41619099957030d85ff.tar.gz |
Rework handling of win32 toolchain tarballs
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 63c6983a38..292ff7db96 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1034,7 +1034,7 @@ source-tarball: - ghc-*.tar.xz - version script: - - mk/get-win32-tarballs.sh download all + - python3 mk/get-win32-tarballs.py download all - ./boot - ./configure - make sdist |