Inject gerrit-doc.properties for gate-{name}-tox-doc-publish-{envlist}

Our publishing jobs needs gerrit-doc.properties to figure out on which
branch they run. This was removed by accident when moving from maven to
tox jobs. The scripts work fine for master branch without the file but
fail on the stable branch.

Change-Id: I1acb3f6de3a449da6fad23bab1568ba9db7d2c47
This commit is contained in:
Andreas Jaeger 2014-05-09 23:00:09 +02:00
parent 31566707b9
commit 7ce9a98ce2

View File

@ -53,6 +53,11 @@
fail: true fail: true
- timestamps - timestamps
properties:
- inject:
script-file: /usr/local/jenkins/slave_scripts/docbook-properties.sh
properties-file: gerrit-doc.properties
builders: builders:
- revoke-sudo - revoke-sudo
- gerrit-git-prep - gerrit-git-prep