commit ef57a609cae68dae28285d5dab123c259e0a9185 Author: sin <[email protected]> Date: Mon Jan 6 18:03:34 2014 +0000
Exit with error 125 if the process is killed by a signal
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);
}
