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)
commit0e500002067e79276b2b403ab7a2e0132ad419e4
treed15a18d68d243aea92d696ccbeaf4e216e0a6478
parent9150d49781377197559c474d250c1dd2495f6a10
Disable SplitSections due to #14291
Jenkinsfile