summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index afc504b..5d00342 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
stages {
stage('Build') {
steps {
- sh "make distclean && make BUILD='${env.BUILD_TAG}'"
+ sh "make distclean && make"
}
}
stage('Create build output') {