diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-07-06 11:43:37 +0000 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2016-07-07 08:35:53 +0000 |
| commit | 68cb41ad93f34f5e923ff5fb47392a48169b7684 (patch) | |
| tree | a42e20a7b6800a7caf0c03412e1256251514d9ce /src/main/cpp/util | |
| parent | 0ae88a4d36bb236e0ea1ded9fa5544b2300150d7 (diff) | |
Make Ctrl-C interrupt batch mode builds on Windows.
The cleanup is much less orderly than on Unix: we simply rely on Windows to terminate all child processes by putting the Bazel binary in a job.
Fixes #1134.
--
MOS_MIGRATED_REVID=126686643
Diffstat (limited to 'src/main/cpp/util')
| -rw-r--r-- | src/main/cpp/util/exit_code.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/cpp/util/exit_code.h b/src/main/cpp/util/exit_code.h index 68f7a257ea..be6f8de9b2 100644 --- a/src/main/cpp/util/exit_code.h +++ b/src/main/cpp/util/exit_code.h @@ -29,6 +29,11 @@ enum ExitCode { // Bad environment variables. The user must modify their command line. BAD_ARGV = 2, + // The user interrupted the build, most probably with Ctrl-C. + INTERRUPTED = 8, + + // Something is wrong with the host Bazel is running on and a re-run of the + // same command probably will not help. LOCAL_ENVIRONMENTAL_ERROR = 36, // Unexpected server termination, due to e.g. external SIGKILL, misplaced |