diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
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') { |