diff options
Diffstat (limited to 'src/libstore/exec.cc')
| -rw-r--r-- | src/libstore/exec.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/libstore/exec.cc b/src/libstore/exec.cc index b25423b4449a..01577143dc9e 100644 --- a/src/libstore/exec.cc +++ b/src/libstore/exec.cc @@ -108,7 +108,9 @@ void runProgram(const string & program, int status; if (waitpid(pid, &status, 0) != pid) throw Error("unable to wait for child"); - + + checkInterrupt(); + if (!WIFEXITED(status) || WEXITSTATUS(status) != 0) { if (keepFailed) { printMsg(lvlTalkative, |