diff --git a/Jenkinsfile b/Jenkinsfile index 5fb13e9..7947551 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,7 +7,7 @@ pipeline { steps { script { if (env.JOB_NAME == 'rouen-publik-theme' && env.GIT_BRANCH == 'origin/master') { - sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch rouen-publik-theme' + sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder rouen-publik-theme' } } }