Hector Oswaldo Caballero 309f0e0d79 [project.py] Add bazel --batch option ...

When communication between the bazel server and client are blocked
by some (still under investigation [1]) security policy, the only
option is to build with the --batch option. Generating the Eclipse
project, though, was failing because there was no way to pass this
option to the script.

[1] https://github.com/bazelbuild/bazel/issues/3602

Change-Id: I4ae6fdb4df757cd5333e70c13cdded588ec8e194

2018-01-09 05:54:01 -05:00

..

BUILD

Eclipse: Fix path to server_tests in TEST_DEPS

2017-11-01 08:23:47 +09:00

gerrit_daemon.launch

Dissolve gerrit-main top-level directory

2017-10-31 11:02:36 -04:00

gerrit_gwt_debug.launch

Fix GWT super dev mode

2018-01-08 13:10:28 -05:00

project.py

[project.py] Add bazel --batch option

2018-01-09 05:54:01 -05:00