diff --git a/Jenkinsfile b/Jenkinsfile index fe67218..98fae48 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,10 @@ @Library('SHS.Platforms') _ properties([ copyArtifactPermission('*'), - buildDiscarder(logRotator(numToKeepStr: "10", artifactNumToKeepStr: "5")) + buildDiscarder(logRotator(numToKeepStr: "10", artifactNumToKeepStr: "5")), + parameters( + [booleanParam(name: 'Debug', defaultValue: false, description: 'Build debug version')] + ) ]) node { stage("Download sources") { @@ -10,6 +13,6 @@ node { def pl = new org.SHS.Platforms(this) pl.get() pl.forEach ({ dist, toolchain -> - echo "build=${env.BUILD_NUMBER}" + echo "build=${env.BUILD_NUMBER}, debug=${Debug}" }, whiteList: ["debian"]) }