diff --git a/tools/jenkins/jenkins_home/build_jenkins.sh b/tools/jenkins/jenkins_home/build_jenkins.sh index abbdfd1..567a056 100755 --- a/tools/jenkins/jenkins_home/build_jenkins.sh +++ b/tools/jenkins/jenkins_home/build_jenkins.sh @@ -42,7 +42,8 @@ cat > $JENKINS_GITCONF < jobs/$job/nextBuildNumber fi