diff options
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') { |