diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-04-19 00:16:57 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-04-20 11:55:38 -0400 |
| commit | 983c53c3da7a2e4e9c91f21adbd93c68a7922bae (patch) | |
| tree | 4c75b77e16fa6e868ef6cc57cc6d7fb09ec1312b /.gitlab-ci.yml | |
| parent | 2145b738aaa974ab0a7103b110e268fbf98b95c4 (diff) | |
| download | haskell-983c53c3da7a2e4e9c91f21adbd93c68a7922bae.tar.gz | |
gitlab-ci: Do not build profiled libraries on 32-bit Windows
Due to #15934.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1c6686d656..b6fc39f150 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -626,6 +626,8 @@ release-i386-windows: MSYSTEM: MINGW32 BUILD_FLAVOUR: "perf" CONFIGURE_ARGS: "--target=i386-unknown-mingw32" + # Due to #15934 + BUILD_PROF_LIBS: "NO" cache: key: "i386-windows-$WINDOWS_TOOLCHAIN_VERSION" @@ -637,6 +639,8 @@ nightly-i386-windows: variables: MSYSTEM: MINGW32 CONFIGURE_ARGS: "--target=i386-unknown-mingw32" + # Due to #15934 + BUILD_PROF_LIBS: "NO" cache: key: "i386-windows-$WINDOWS_TOOLCHAIN_VERSION" |