diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2015-08-24 17:57:12 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2015-08-25 12:46:35 -0700 |
| commit | 87417414fa9d6384f75f325fcebb18ba769caacc (patch) | |
| tree | 442e25ee488de8201db9c18ea2337cc4b79a0be9 /main.cc | |
| parent | 1d92d8a4f25e2f39a111410cdfbf1982d88f58e6 (diff) | |
[C++] Regen ninja file if ckati arguments change
Otherwise building different targets doesn't work.
Change-Id: Ie841fb8e8ae8df394705c39d146425e2128ffc77
Diffstat (limited to 'main.cc')
| -rw-r--r-- | main.cc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -241,7 +241,7 @@ static int Run(const vector<Symbol>& targets, if (!NeedsRegen(g_ninja_suffix, g_ninja_dir, g_regen_ignoring_kati_binary, g_dump_kati_stamp, - start_time)) { + start_time, orig_args)) { printf("No need to regenerate ninja file\n"); return 0; } |
