diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-15 00:23:28 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-15 09:45:36 -0500 |
commit | 46afc380b1445d6bcff0c954569a59420c847534 (patch) | |
tree | 320f3374b37972f2f6dc6f42db368d51d1cc78fa /.gitlab | |
parent | 6ab80439d0c57b9a3aa03d0d57c5e095257ee2cf (diff) | |
download | haskell-46afc380b1445d6bcff0c954569a59420c847534.tar.gz |
gitlab-ci: Install process to global pkgdb before starting build
This is an attempt to mitigate #17480 by ensuring that a functional version of
the process library is available before attempting the build.
Diffstat (limited to '.gitlab')
-rw-r--r-- | .gitlab/win32-init.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/win32-init.sh b/.gitlab/win32-init.sh index aec73ce083..e30706ef90 100644 --- a/.gitlab/win32-init.sh +++ b/.gitlab/win32-init.sh @@ -45,3 +45,5 @@ if [ ! -e $toolchain/bin/alex ]; then cp $APPDATA/cabal/bin/alex $toolchain/bin fi +# Install new process to mitigate #17480. +cabal install libraries/process |