jenkins tweak

paulr · Oct 7, 2019 · c3d03c9 · c3d03c9
1 parent 8ce017b
commit c3d03c9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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'