Use a Jenkins build number for build id
authorJan Dittberner <jan@dittberner.info>
Sun, 27 Aug 2017 20:37:30 +0000 (22:37 +0200)
committerJan Dittberner <jan@dittberner.info>
Sun, 27 Aug 2017 20:37:30 +0000 (22:37 +0200)
Jenkinsfile

index e517ba5..ccdb92d 100644 (file)
@@ -22,7 +22,7 @@ pipeline {
                 BUILDDIR = "${GOPATH}/src/git.cacert.org/cacert-boardvoting"
             }
             steps {
-                sh "cd '${BUILDDIR}' ; make clean && make"
+                sh "cd '${BUILDDIR}' ; make clean && make BUILD='jenkins-${env.BUILD_TAG}'"
             }
         }
         stage('Create build output') {