From b163d17a860548dad28b0c719e56ef72f479103d Mon Sep 17 00:00:00 2001
From: olivier lamy <oliver.lamy@gmail.com>
Date: Wed, 3 Oct 2018 11:40:39 +1000
Subject: [PATCH] fix Jenkinsfile

Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d814b122175..0fc08a0c1f3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -63,7 +63,7 @@ def getFullBuild(jdk, os, mainJdk) {
                           ",**/org/eclipse/jetty/demo/**" +
                           // special environments / late integrations
                           ",**/org/eclipse/jetty/gcloud/**" + ",**/org/eclipse/jetty/infinispan/**" +
-                          ",**/org/eclipse/jetty/osgi/**" + ",**/org/eclipse/jetty/spring/**"
+                          ",**/org/eclipse/jetty/osgi/**" + ",**/org/eclipse/jetty/spring/**" +
                           ",**/org/eclipse/jetty/http/spi/**" +
                           // test classes
                           ",**/org/eclipse/jetty/tests/**" + ",**/org/eclipse/jetty/test/**";