diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-04-19 00:16:07 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-04-19 09:45:03 -0400 |
commit | f0592c225610b686852bf97d41688cde1dfb6a6f (patch) | |
tree | 1d91e057c0d16de46119b4274a419171c21749cd | |
parent | 4c7d32280b6fbea95af12432deaf0c9c57be6ad7 (diff) | |
download | haskell-f0592c225610b686852bf97d41688cde1dfb6a6f.tar.gz |
Do not build i386 Windows with profiled libraries
Due to #15934
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b97ba70e16..4d91ac9299 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -414,6 +414,8 @@ validate-i386-windows: GHC_VERSION: "8.6.2" LANG: "en_US.UTF-8" MSYSTEM: MINGW32 + # Due to #15934 + BUILD_PROF_LIBS: "NO" script: - | python boot |