diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..8bfd3f4 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,16 @@ +// vi: ft=groovy +pipeline { + agent any + stages { + stage('Build Plugins') { + steps { + sh 'mkdir -p out/ && INSTDIR=out/ make install' + } + } + } + post { + always { + archiveArtifacts artifacts: 'out/*', fingerprint: false + } + } +} |