From 8635c6b7fd369e03c036f0d11634423b9b78fa0b Mon Sep 17 00:00:00 2001 From: Christophe Siraut Date: Fri, 24 Apr 2020 15:45:24 +0200 Subject: [PATCH] Jenkinsfile: use default distribution target for hotfix branch (#41301) --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index efceb62..188a891 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,9 +7,9 @@ pipeline { steps { script { if (env.JOB_NAME == 'cut-publik-theme' && env.GIT_BRANCH == 'origin/master') { - sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch cut-publik-theme' + sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder cut-publik-theme' } else if (env.GIT_BRANCH.startsWith('hotfix/')) { - sh "sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch --branch ${env.GIT_BRANCH} --hotfix cut-publik-theme" + sh "sudo -H -u eobuilder /usr/local/bin/eobuilder --branch ${env.GIT_BRANCH} --hotfix cut-publik-theme" } } }