From 64c31bddf88d45711b746e6b954e61609f2cf3c4 Mon Sep 17 00:00:00 2001
From: Dan Willemsen <dwillemsen@google.com>
Date: Wed, 26 Sep 2018 14:10:40 -0700
Subject: 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
---
 flags.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'flags.h')

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;
-- 
cgit v1.2.3