From eaa10963efb8d93c99cc432c3ea8104e44169e4b Mon Sep 17 00:00:00 2001
From: Christophe Siraut <csiraut@entrouvert.com>
Date: Fri, 24 Apr 2020 14:00:21 +0200
Subject: [PATCH] Jenkinsfile: use default distribution target for hotfix
 branch (#41301)

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 56eb2dc..e71b946 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
                     if (env.JOB_NAME == 'bijoe' && env.GIT_BRANCH == 'origin/master') {
                         sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder 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"
+                        sh "sudo -H -u eobuilder /usr/local/bin/eobuilder --branch ${env.GIT_BRANCH} --hotfix bijoe"
                     }
                 }
             }