From 7e248489962b5d3c8698b4d39cad1d360fde4b58 Mon Sep 17 00:00:00 2001 From: Pat Thoyts Date: Tue, 23 Apr 2019 22:30:14 +0100 Subject: [PATCH] Created Jenkinsfile for building on Jenkins. --- Jenkinsfile | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..fcf6941 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,21 @@ +pipeline { + agent any + stages { + stage('Build') { + steps { + cmakeBuild buildType: 'Release', + cleanBuild: true, + installation: 'InSearchPath', + steps: [[withCmake: true]] + } + } + } + post { + always { + recordIssues enabledForFailure: true, tools: [gcc4()] + } + success { + archiveArtifacts "srfdump" + } + } +} \ No newline at end of file -- 2.23.0