From 042a83d3b00f20e1dadc0e82d092e310856752fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Fri, 31 May 2019 09:25:24 +0200
Subject: [PATCH] jenkins: only build for stretch

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ec8acfb..af2236f 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 rouen-publik-theme'
+                        sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder -d stretch rouen-publik-theme'
                     }
                 }
             }