diff --git a/Jenkinsfile b/Jenkinsfile index c23794d54..1266dc62f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,7 @@ node('Node-Dev-100163') { sh 'make clean_up' } stage('Build') { - sh 'sed -i s/TAG := \$(shell rev-parse --abbrev-ref HEAD)/TAG := ${env.BRANCH_NAME}/g Makefile' + sh './setup/update_tag.sh ${env.BRANCH_NAME}' sh 'make install' sh 'make stop_server_docker' sh 'make gen_config' diff --git a/setup/update_tag.sh b/setup/update_tag.sh new file mode 100755 index 000000000..5ba44f910 --- /dev/null +++ b/setup/update_tag.sh @@ -0,0 +1,3 @@ +#!/usr/bin/bash + +sed -i "s/TAG := \$(shell rev-parse --abbrev-ref HEAD)/TAG := $1/g" Makefile