Disable SplitSections due to #14291 wip/jenkins
authorBen Gamari <ben@smart-cactus.org>
Fri, 29 Sep 2017 18:32:32 +0000 (14:32 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 29 Sep 2017 18:32:32 +0000 (14:32 -0400)
Jenkinsfile

index 63012ce..815e8eb 100644 (file)
@@ -172,6 +172,9 @@ def buildGhc(params) {
                 ValidateSpeed=${speed}
                 ValidateHpc=NO
                 BUILD_DPH=NO
+
+                # Due to #14291
+                SplitSections=NO
                 """
       if (crossCompiling) {
         build_mk += """