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);
 }


Reply via email to