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

This commit is contained in:
Jenkins 2014-05-10 00:53:01 +00:00 committed by Gerrit Code Review
commit 44f38f9132

View File

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