diff options
| author | Josh Gao <jmgao@google.com> | 2018-02-19 10:22:46 (GMT) |
|---|---|---|
| committer | Josh Gao <jmgao@google.com> | 2018-02-19 10:22:46 (GMT) |
| commit | b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6 (patch) | |
| tree | 1748bbc8d43ebe516007436cdb4b99c2d9aaccf9 /src/version.h | |
| parent | e234a7bdb6c42f4539c0ab09b624f191287c2c10 (diff) | |
| download | Ninja-b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6.zip Ninja-b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6.tar.gz Ninja-b4b283e7dc43f8b29f80b37a24f1f21ddf8640c6.tar.bz2 | |
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.
Diffstat (limited to 'src/version.h')
0 files changed, 0 insertions, 0 deletions