From c3d03c932957c2b37dc525fc73460440df5304df Mon Sep 17 00:00:00 2001 From: Paul Caskey Date: Mon, 7 Oct 2019 21:23:12 +0000 Subject: [PATCH] jenkins tweak --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index a2cf4d7..64d4325 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,6 +10,7 @@ node { dir('tmp'){ git([ url: "https://github.internet2.edu/docker/util.git", credentialsId: "jenkins-github-access-token" ]) + sh 'rm -rf ./bin/windows/' sh 'mv -f ./bin/* ../bin/.' } sh 'rm -rf tmp'