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