Use a Jenkins build number for build id

7 years ago · 8943fafeca
parent ace63025ea
commit 8943fafeca
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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') {