diff options
Diffstat (limited to '.gitlab/win32-init.sh')
-rw-r--r-- | .gitlab/win32-init.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab/win32-init.sh b/.gitlab/win32-init.sh index e30706ef90..aec73ce083 100644 --- a/.gitlab/win32-init.sh +++ b/.gitlab/win32-init.sh @@ -45,5 +45,3 @@ if [ ! -e $toolchain/bin/alex ]; then cp $APPDATA/cabal/bin/alex $toolchain/bin fi -# Install new process to mitigate #17480. -cabal install libraries/process |