diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-18 17:36:55 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-18 17:36:55 -0500 |
| commit | 9d92212cd7a7de263af127cf1debef227c2ef3bb (patch) | |
| tree | 7defa4ce5d0aa3134433b2527fdeb41e0ad0cf9a /.gitlab | |
| parent | 6318d874995f3243f1845409aea402414c5806cd (diff) | |
| download | haskell-9d92212cd7a7de263af127cf1debef227c2ef3bb.tar.gz | |
gitlab-ci: Try fixing Windows build
For some reason curl isn't found on the new builder.
Diffstat (limited to '.gitlab')
| -rw-r--r-- | .gitlab/win32-init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/win32-init.sh b/.gitlab/win32-init.sh index 9141404dec..dce9be8d16 100644 --- a/.gitlab/win32-init.sh +++ b/.gitlab/win32-init.sh @@ -3,7 +3,7 @@ set -e toolchain=`pwd`/toolchain -PATH="$toolchain/bin:$PATH" +PATH="$toolchain/bin:/mingw64/bin:$PATH" if [ -d "`pwd`/cabal-cache" ]; then cp -Rf cabal-cache $APPDATA/cabal |