diff options
author | Googler <noreply@google.com> | 2015-03-23 23:22:18 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2015-03-24 16:41:45 +0000 |
commit | c8c64e7472b732282ea13f6fed7eccc72821a2e7 (patch) | |
tree | b4be79ce47ad778eea3b0caaac1335619565edd1 /src/main/java/com/google | |
parent | 68a47414cab316b8c4c0bf37f146981ee54df906 (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.java | 1 |
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)); |