From 8ce017bee773ba8530bca4de1c8f79eadbaea6e3 Mon Sep 17 00:00:00 2001
From: Paul Caskey <pcaskey@internet2.edu>
Date: Mon, 7 Oct 2019 21:19:56 +0000
Subject: [PATCH] jenkins tweak

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a81c0d4..a2cf4d7 100644
--- 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'