aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google
diff options
context:
space:
mode:
authorGravatar Googler <noreply@google.com>2015-03-23 23:22:18 +0000
committerGravatar Han-Wen Nienhuys <hanwen@google.com>2015-03-24 16:41:45 +0000
commitc8c64e7472b732282ea13f6fed7eccc72821a2e7 (patch)
treeb4be79ce47ad778eea3b0caaac1335619565edd1 /src/main/java/com/google
parent68a47414cab316b8c4c0bf37f146981ee54df906 (diff)
Adds some notes about --batch flag.
-- MOS_MIGRATED_REVID=89348225
Diffstat (limited to 'src/main/java/com/google')
-rw-r--r--src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
index 9567aa90ff..868f454579 100644
--- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
+++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
@@ -1074,6 +1074,7 @@ public final class BlazeRuntime {
public static void main(Iterable<Class<? extends BlazeModule>> moduleClasses, String[] args) {
setupUncaughtHandler(args);
List<BlazeModule> modules = createModules(moduleClasses);
+ // blaze.cc will put --batch first if the user set it.
if (args.length >= 1 && args[0].equals("--batch")) {
// Run Blaze in batch mode.
System.exit(batchMain(modules, args));