From a30a29a4e6d374f374693f4d16bbc951b6f957f4 Mon Sep 17 00:00:00 2001
From: Jan Dittberner <jan@dittberner.info>
Date: Sun, 27 Aug 2017 22:43:13 +0200
Subject: [PATCH] Remove duplicate jenkins- from BUILD id

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ccdb92d..4c456e8 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 BUILD='jenkins-${env.BUILD_TAG}'"
+                sh "cd '${BUILDDIR}' ; make clean && make BUILD='${env.BUILD_TAG}'"
             }
         }
         stage('Create build output') {