diff options
author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 22:08:30 +0100 |
---|---|---|
committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 22:08:30 +0100 |
commit | bf3fc1d51c639d0990f7b8e2bf6e530d74ed65e7 (patch) | |
tree | 8a66c5bf6bbfcad338dbc17bde10b144c0a1a03c /Jenkinsfile | |
parent | ca5a2353e5e3e8006db4f0f1ef28c9a5331518cc (diff) | |
download | ChibiOS-Contrib-bf3fc1d51c639d0990f7b8e2bf6e530d74ed65e7.tar.gz ChibiOS-Contrib-bf3fc1d51c639d0990f7b8e2bf6e530d74ed65e7.tar.bz2 ChibiOS-Contrib-bf3fc1d51c639d0990f7b8e2bf6e530d74ed65e7.zip |
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 6956e66..96a3337 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,8 +9,9 @@ pipeline { } steps { - sh '''mkdir -p $WORKSPACE/contrib -mv -v $WORKSPACE/* $WORKSPACE/.* contrib/''' + sh '''rm -rf $WORKSPACE/contrib +mkdir -p $WORKSPACE/contrib +mv -v $WORKSPACE/* $WORKSPACE/.git $WORKSPACE/contrib/''' } } stage('Build STM32') { |