diff --git a/Jenkinsfile b/Jenkinsfile index fd42f72..4f01d91 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -23,6 +23,8 @@ pipeline { script { if (env.JOB_NAME == 'bijoe' && env.GIT_BRANCH == 'origin/master') { sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d jessie,stretch bijoe' + } else if (env.GIT_BRANCH.startsWith('hotfix/')) { + sh "sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch --branch ${env.GIT_BRANCH} --hotfix bijoe" } } }