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 {