summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Dittberner <jan@dittberner.info>2017-08-27 22:37:30 +0200
committerJan Dittberner <jan@dittberner.info>2017-08-27 22:37:30 +0200
commit8943fafeca6c8b3d3b44e6560b30c703fe4ff120 (patch)
tree520dc527943e4378944edd4a83448e14a256043f
parentace63025eadf110c1f62b41c725bfe893e0638f0 (diff)
downloadcacert-boardvoting-8943fafeca6c8b3d3b44e6560b30c703fe4ff120.tar.gz
cacert-boardvoting-8943fafeca6c8b3d3b44e6560b30c703fe4ff120.tar.xz
cacert-boardvoting-8943fafeca6c8b3d3b44e6560b30c703fe4ff120.zip
Use a Jenkins build number for build id
-rw-r--r--Jenkinsfile2
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') {