From ea2e7b7d3a9625e625eadb74bfee76008dce9279 Mon Sep 17 00:00:00 2001 From: Rod Vagg Date: Wed, 17 Apr 2019 20:44:14 +1000 Subject: [PATCH] jenkins: new "release-sources" labels for source, headers, docs --- jenkins/scripts/VersionSelectorScript.groovy | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/jenkins/scripts/VersionSelectorScript.groovy b/jenkins/scripts/VersionSelectorScript.groovy index 9fbadebf4..9f1066bdf 100644 --- a/jenkins/scripts/VersionSelectorScript.groovy +++ b/jenkins/scripts/VersionSelectorScript.groovy @@ -75,6 +75,12 @@ def buildExclusions = [ // FreeBSD ----------------------------------------------- [ /^freebsd10/, anyType, gte(11) ], + // Source / headers / docs ------------------------------- + [ /^osx1010-release-sources$/, releaseType, gte(11) ], + [ /^osx1011-release-sources$/, releaseType, lt(11) ], + [ /^osx1011-release-sources$/, releaseType, gte(12) ], + [ /^centos7-release-sources$/, releaseType, lt(12) ], + // ------------------------------------------------------- ]