tree 1748bbc8d43ebe516007436cdb4b99c2d9aaccf9
parent e234a7bdb6c42f4539c0ab09b624f191287c2c10
author Josh Gao <jmgao@google.com> 1519035766 -0800
committer Josh Gao <jmgao@google.com> 1519035766 -0800

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.