From 78db67fc6aab88ca704875a8ac813a6e37d3d706 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Sun, 24 May 2020 15:37:39 +0200 Subject: [PATCH] jenkins: build for all default dists --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 85b344e..bd3c394 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,9 +7,9 @@ pipeline { steps { script { if (env.JOB_NAME == 'passerelle-imio-liege-rn' && env.GIT_BRANCH == 'origin/master') { - sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch passerelle-imio-liege-rn' + sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder passerelle-imio-liege-rn' } else if (env.GIT_BRANCH.startsWith('hotfix/')) { - sh "sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch --branch ${env.GIT_BRANCH} --hotfix passerelle-imio-liege-rn" + sh "sudo -H -u eobuilder /usr/local/bin/eobuilder --branch ${env.GIT_BRANCH} --hotfix passerelle-imio-liege-rn" } } }