From ef57a609cae68dae28285d5dab123c259e0a9185 Mon Sep 17 00:00:00 2001 From: sin Date: Mon, 6 Jan 2014 18:03:34 +0000 Subject: [PATCH] Exit with error 125 if the process is killed by a signal --- xargs.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xargs.c b/xargs.c index 75e8731..da7754c 100644 --- a/xargs.c +++ b/xargs.c @@ -241,4 +241,6 @@ runcmd(void) WEXITSTATUS(status) == 126) exit(WEXITSTATUS(status)); } + if (WIFSIGNALED(status)) + exit(125); }