run-command: do not warn about child death from terminal
SIGINT and SIGQUIT are not generally interesting signals to the user, since they are typically caused by them hitting "^C" or otherwise telling their terminal to send the signal. Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
913ef36093
commit
a2767c5c91
@ -242,6 +242,7 @@ static int wait_or_whine(pid_t pid, const char *argv0)
|
|||||||
error("waitpid is confused (%s)", argv0);
|
error("waitpid is confused (%s)", argv0);
|
||||||
} else if (WIFSIGNALED(status)) {
|
} else if (WIFSIGNALED(status)) {
|
||||||
code = WTERMSIG(status);
|
code = WTERMSIG(status);
|
||||||
|
if (code != SIGINT && code != SIGQUIT)
|
||||||
error("%s died of signal %d", argv0, code);
|
error("%s died of signal %d", argv0, code);
|
||||||
/*
|
/*
|
||||||
* This return value is chosen so that code & 0xff
|
* This return value is chosen so that code & 0xff
|
||||||
|
Loading…
Reference in New Issue
Block a user