bugfix to gerrit-doc-properties.sh
Change-Id: Idb07fb75b5a794c3243ecea61254d8e3ea079e23
This commit is contained in:
parent
dc9caf525d
commit
a57dcdcf86
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user