Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Ninja should exit with a distinct exit status if user-terminated #430
If the user terminates ninja, rather than ninja terminating itself due to a build error, it should exit with a different non-zero exit status. This is useful if you have a build script wrapping ninja, which may want to terminate itself if the user exits manually.
My (hacky) patch for this is below :
This comment has been minimized.
This comment has been minimized.Show comment Hide comment
I agree. I'll fix this in a less-hacky manner by extending the return value of
Not that it matters, but some sources I see online indicate the proper exit code is 128 + the signal number.