Add --no_ninja_prelude

This argument will remove the common bits at the beginning of the ninja
file -- build_dir, local_pool, and _kati_always_build_. It's most useful
so that Kati can be run twice, with the output ninja files combined into
a single ninja execution.

It also lets us change the local_pool size without having to re-read all
the makefiles.

Change-Id: I38fef043ac2a9550d094550f5fb7f1789bc729dd

1 files changed, 1 insertions, 0 deletions

diff --git a/flags.h b/flags.h
index ce32ee8..025979a 100644
--- a/flags.h
+++ b/flags.h
@@ -41,6 +41,7 @@ struct Flags {
   bool use_find_emulator;
   bool color_warnings;
   bool no_builtin_rules;
+  bool no_ninja_prelude;
   bool werror_find_emulator;
   bool werror_overriding_commands;
   bool warn_implicit_rules;