| commit | b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6 | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Mon Feb 19 02:22:46 2018 -0800 |
| committer | Josh Gao <jmgao@google.com> | Mon Feb 19 02:22:46 2018 -0800 |
| tree | 1748bbc8d43ebe516007436cdb4b99c2d9aaccf9 | |
| parent | e234a7bdb6c42f4539c0ab09b624f191287c2c10 [diff] |
Don't clean up after ourselves when exiting. Destruction of NinjaMain can be an expensive operation when dealing with stupidly large ninjafiles. exit directly instead of returning out of real_main to avoid doing so.