Updated Jenkinsfile
This commit is contained in:
parent
b80b6dfd58
commit
4bc93d2d00
5
Jenkinsfile
vendored
5
Jenkinsfile
vendored
@ -3,6 +3,7 @@ pipeline {
|
|||||||
|
|
||||||
parameters {
|
parameters {
|
||||||
booleanParam(defaultValue: true, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized')
|
booleanParam(defaultValue: true, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized')
|
||||||
|
booleanParam(defaultValue: true, description: 'Build the libraries as well', name: 'build_libraries')
|
||||||
}
|
}
|
||||||
|
|
||||||
stages {
|
stages {
|
||||||
@ -75,6 +76,10 @@ pipeline {
|
|||||||
|
|
||||||
stages {
|
stages {
|
||||||
stage ('Initialize libraries') {
|
stage ('Initialize libraries') {
|
||||||
|
when {
|
||||||
|
expression { params.build_libraries }
|
||||||
|
}
|
||||||
|
|
||||||
steps {
|
steps {
|
||||||
sh 'apt-get update'
|
sh 'apt-get update'
|
||||||
sh 'git reset --hard origin/master; git submodule update --init --remote --recursive --force'
|
sh 'git reset --hard origin/master; git submodule update --init --remote --recursive --force'
|
||||||
|
Loading…
Reference in New Issue
Block a user