diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-09-29 14:32:32 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-29 14:32:32 -0400 |
| commit | 0e500002067e79276b2b403ab7a2e0132ad419e4 (patch) | |
| tree | d15a18d68d243aea92d696ccbeaf4e216e0a6478 | |
| parent | 9150d49781377197559c474d250c1dd2495f6a10 (diff) | |
| download | haskell-wip/jenkins.tar.gz | |
Disable SplitSections due to #14291wip/jenkins
| -rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 63012cedaa..815e8eb0a8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -172,6 +172,9 @@ def buildGhc(params) { ValidateSpeed=${speed} ValidateHpc=NO BUILD_DPH=NO + + # Due to #14291 + SplitSections=NO """ if (crossCompiling) { build_mk += """ |