From a57dcdcf8692bd7d3214619a0a75dd1d221b1e3d Mon Sep 17 00:00:00 2001 From: "James E. Blair" Date: Wed, 4 Apr 2012 15:31:56 -0700 Subject: [PATCH] bugfix to gerrit-doc-properties.sh Change-Id: Idb07fb75b5a794c3243ecea61254d8e3ea079e23 --- .../files/slave_scripts/gerrit-doc-properties.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh b/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh index 41d04c446d..dc9afebb18 100755 --- a/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh +++ b/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh @@ -23,4 +23,7 @@ then DOC_COMMENTS_ENABLED=1 fi -echo "DOC_RELEASE_PATH=$DOC_RELEASE_PATH" >$WORKSPACE/gerrit-doc.properties +echo "DOC_RELEASE_PATH=$DOC_RELEASE_PATH" >gerrit-doc.properties +echo "DOC_COMMENTS_ENABLED=$DOC_COMMENTS_ENABLED" >>gerrit-doc.properties + +pwd