From 8943fafeca6c8b3d3b44e6560b30c703fe4ff120 Mon Sep 17 00:00:00 2001
From: Jan Dittberner <jan@dittberner.info>
Date: Sun, 27 Aug 2017 22:37:30 +0200
Subject: [PATCH] Use a Jenkins build number for build id

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e517ba5..ccdb92d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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') {