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