From 1d84bbbbf6c5f173b8351d8be525ae926bde7c4f Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Wed, 6 Mar 2019 22:13:55 +0100
Subject: Added Jenkinsfile

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

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 96a3337..26ea3ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
       steps {
         sh '''rm -rf $WORKSPACE/contrib
 mkdir -p $WORKSPACE/contrib
-mv -v $WORKSPACE/* $WORKSPACE/.git $WORKSPACE/contrib/'''
+mv -fv $WORKSPACE/* $WORKSPACE/.git $WORKSPACE/contrib/'''
       }
     }
     stage('Build STM32') {
-- 
cgit v1.2.3