From 44a3f8cb0bc478f5c1d7d2f77ca0c568619e68a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20Sch=C3=BCth?= Date: Tue, 7 Mar 2017 13:10:22 +0100 Subject: [PATCH] Remove source jar --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index dbe40be58f..d110e78f45 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -79,8 +79,8 @@ node('dockerRoot') { stage 'Docker Build' if (!Boolean.valueOf(skipDocker)) { withEnv(['DOCKER_HOST=tcp://gemini.office:2375']) { - sh "rm demo/target/*sources*" - sh "rm server/target/*sources*" + sh "rm demo/target/*sources.jar" + sh "rm server/target/*sources.jar" sh "captain build" } } else {