<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Mar 3, 2014 at 11:58 AM, Justin Bogner <span dir="ltr"><<a href="mailto:mail@justinbogner.com" target="_blank">mail@justinbogner.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">Gautier DI FOLCO <<a href="mailto:gautier.difolco@gmail.com">gautier.difolco@gmail.com</a>> writes:<br>

> I just added an update command to ninja, now we can do $ ninja update,<br>
> as we can do $ make update.<br>
<br>
</div>Given that we recently removed 'make update' from the docs in r202430<br>
and the inherent limitations with having this be part of the build<br>
system (out of tree builds, git mirrors...), I'm not convinced we want<br>
to do this.<br></blockquote><div><br></div><div>I'm strongly opposed to this. The build system should not mutate the source tree. This is especially true for out-of-tree builds which are required with our CMake setup IIRC.</div>
</div></div></div>