| commit | 9a8959b3af38c2b7693d4f1ff664e3badbc7dd5a | [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 04:08:43 2018 -0800 |
| tree | 8bb1c3d39dbb786207a5471f7c5ab8b1184884aa | |
| parent | 495fcf4b799d84d8727ce0e185950ace29a6ea11 [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. Test: none Change-Id: I8d02f1397a1f45a82a7c4ad764ec7e6f798006ef