jenkins tweak

docker · Oct 7, 2019 · 8ce017b · 8ce017b
1 parent 224c9ae
commit 8ce017b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ node {
     dir('tmp'){
       git([ url: "https://github.internet2.edu/docker/util.git",
           credentialsId: "jenkins-github-access-token" ])
-      sh 'mv ./bin/* ../bin/.'
+      sh 'mv -f ./bin/* ../bin/.'
     }
     sh 'rm -rf tmp'