diff options
author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 23:37:11 +0100 |
---|---|---|
committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-06 23:37:11 +0100 |
commit | ca01b1216759e77963ad953a62106e872c4592c6 (patch) | |
tree | 96afb5fdde43e2b3d87a52dbe1cca8905ea98ea0 /Jenkinsfile | |
parent | 6f30cc30fe238a296a2cae7c27cf09078b054217 (diff) | |
download | ChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.tar.gz ChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.tar.bz2 ChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.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 be26f9c..ca22b8f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,7 +21,7 @@ pipeline { } steps { sh '''mkdir /tmp/contrib -cp -r $WORKSPACE/* $WORKSPACE/*.git /tmp/contrib/ +cp -r $WORKSPACE/* $WORKSPACE/.git /tmp/contrib/ mv -v /tmp/contrib $WORKSPACE/''' |