commit 3017d295d16aa35f0499913eb92a9d504da0db71
author Yun Peng <pcloudy@google.com> Fri Jan 12 15:55:02 2018 +0100
committer Yun Peng <pcloudy@google.com> Fri Jan 12 15:55:02 2018 +0100
tree 854b45733e0a44f6d1377378c3df77404fa4c66d
parent 55b795681aa33fcf1505413517cdfb20151b4075

Fix gerrit.json

Change-Id: Ifefcdf887df62f9ad8792172501eb4b6bf896dab

jenkins/jobs/configs/gerrit.json

diff --git a/jenkins/jobs/configs/gerrit.json b/jenkins/jobs/configs/gerrit.json
index 5dda181..1fb8d25 100644
--- a/jenkins/jobs/configs/gerrit.json
+++ b/jenkins/jobs/configs/gerrit.json
@@ -20,8 +20,10 @@
             {"node": "windows-x86_64"}
         ],
         "parameters": {
+            "startup_opts": [
+                "--nomaster_bazelrc"
+            ],
             "build_opts": [
-                "--nomaster_bazelrc",
                 "--workspace_status_command=tools/workspace-status.cmd",
                 "--verbose_failures"
             ],