aboutsummaryrefslogtreecommitdiffstats
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorFabien Poussin <fabien.poussin@gmail.com>2019-03-06 23:37:11 +0100
committerFabien Poussin <fabien.poussin@gmail.com>2019-03-06 23:37:11 +0100
commitca01b1216759e77963ad953a62106e872c4592c6 (patch)
tree96afb5fdde43e2b3d87a52dbe1cca8905ea98ea0 /Jenkinsfile
parent6f30cc30fe238a296a2cae7c27cf09078b054217 (diff)
downloadChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.tar.gz
ChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.tar.bz2
ChibiOS-Contrib-ca01b1216759e77963ad953a62106e872c4592c6.zip
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile2
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/'''