diff options
Diffstat (limited to 'src/ninja.cc')
-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 e408ce1..7bb5ce3 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; } |