commit ef57a609cae68dae28285d5dab123c259e0a9185 parent 2dc105ebbc70b9961bfbb1238c9d0b9c23a5b8d1 Author: sin <sin@2f30.org> Date: Mon, 6 Jan 2014 18:03:34 +0000 Exit with error 125 if the process is killed by a signal Diffstat:
M | xargs.c | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/xargs.c b/xargs.c @@ -241,4 +241,6 @@ runcmd(void) WEXITSTATUS(status) == 126) exit(WEXITSTATUS(status)); } + if (WIFSIGNALED(status)) + exit(125); }