Projet

Général

Profil

0001-jenkins-build-default-dist-42458.patch

Emmanuel Cazenave, 04 mai 2020 16:29

Télécharger (1,01 ko)

Voir les différences:

Subject: [PATCH] jenkins: build default dist (#42458)

 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
Jenkinsfile
22 22
            steps {
23 23
                script {
24 24
                    if (env.JOB_NAME == 'django-journal' && env.GIT_BRANCH == 'origin/master') {
25
                        sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d jessie,stretch django-journal'
25
                        sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder django-journal'
26
                    } else if (env.GIT_BRANCH.startsWith('hotfix/')) {
27
                        sh "sudo -H -u eobuilder /usr/local/bin/eobuilder --branch ${env.GIT_BRANCH} --hotfix django-journal"
26 28
                    }
27 29
                }
28 30
            }
29
-