Update 'Jenkinsfile'

This commit is contained in:
andreacavalli 2020-10-09 10:21:03 +02:00
parent eb104518a8
commit 1baccd90d4
1 changed files with 4 additions and 1 deletions

5
Jenkinsfile vendored
View File

@ -15,6 +15,9 @@ pipeline {
booleanParam(name: "RELEASE", booleanParam(name: "RELEASE",
description: "Build a release from current commit.", description: "Build a release from current commit.",
defaultValue: false) defaultValue: false)
booleanParam(name: "DEBUGINFO",
description: "Build debug binary from current commit.",
defaultValue: false)
} }
stages { stages {
stage("Setup workspace") { stage("Setup workspace") {
@ -57,7 +60,7 @@ pipeline {
} }
} }
steps { steps {
sh "./jenkins/scripts/cross_compile.sh" sh "DEBUGINFO=${params.DEBUGINFO} ./jenkins/scripts/cross_compile.sh"
} }
} }