diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 22:13:55 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 22:13:55 +0100 |
| commit | 1d84bbbbf6c5f173b8351d8be525ae926bde7c4f (patch) | |
| tree | cf7e05569b67e9a12f9d6c3d08ca6733648f3118 /Jenkinsfile | |
| parent | bf3fc1d51c639d0990f7b8e2bf6e530d74ed65e7 (diff) | |
| download | ChibiOS-Contrib-1d84bbbbf6c5f173b8351d8be525ae926bde7c4f.tar.gz ChibiOS-Contrib-1d84bbbbf6c5f173b8351d8be525ae926bde7c4f.tar.bz2 ChibiOS-Contrib-1d84bbbbf6c5f173b8351d8be525ae926bde7c4f.zip | |
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
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') { |