diff options
| author | Richard Geary <richardg.work@gmail.com> | 2012-09-26 08:40:33 (GMT) |
|---|---|---|
| committer | Richard Geary <richardg.work@gmail.com> | 2012-11-09 13:04:24 (GMT) |
| commit | d06e3c12ffef42ad845dbd2883e7921a5f89f64d (patch) | |
| tree | 6040ab7e4eaac0e212f1d7fa4be66492a0937079 /src | |
| parent | c302134756b7afdf1fb7f2375d2d4597d311b03e (diff) | |
| download | Ninja-d06e3c12ffef42ad845dbd2883e7921a5f89f64d.zip Ninja-d06e3c12ffef42ad845dbd2883e7921a5f89f64d.tar.gz Ninja-d06e3c12ffef42ad845dbd2883e7921a5f89f64d.tar.bz2 | |
Exit status = 2 if user presses ctrl-c
Change-Id: I7be958e18eb2e434e78afb6e03b332281a651957
Diffstat (limited to 'src')
| -rw-r--r-- | src/ninja.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ninja.cc b/src/ninja.cc index ad56f1c..a5e8d81 100644 --- a/src/ninja.cc +++ b/src/ninja.cc @@ -682,6 +682,9 @@ int RunBuild(Builder* builder, int argc, char** argv) { if (!builder->Build(&err)) { printf("ninja: build stopped: %s.\n", err.c_str()); + if (err.find("interrupted by user") != string::npos) { + return 2; + } return 1; } |