From 983c53c3da7a2e4e9c91f21adbd93c68a7922bae Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 19 Apr 2019 00:16:57 -0400
Subject: [PATCH] gitlab-ci: Do not build profiled libraries on 32-bit Windows
Due to #15934.
---
.gitlab-ci.yml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1c6686d656e..b6fc39f150b 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"
--
GitLab