diff options
author | Oleg Nesterov <oleg@tv-sign.ru> | 2008-04-30 00:52:58 -0700 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2008-04-30 08:29:36 -0700 |
commit | 2dce81bff28dceb2153c901883a56f278d91db65 (patch) | |
tree | 831da312ea00c5c505d376098b5b1a90fe33fed7 /sound/sh/Makefile | |
parent | 34c8f07b9ac499a807918eda377193a55f64f8df (diff) |
signals: cleanup the usage of print_fatal_signal()
Move the callsite of print_fatal_signal() down, under "if
(sig_kernel_coredump(signr))", so we don't need to check signr != SIGKILL.
We are only interested in the sig_kernel_coredump() signals anyway, and due to
the previous changes we almost never can see other fatal signals here except
SIGKILL.
Signed-off-by: Oleg Nesterov <oleg@tv-sign.ru>
Cc: Roland McGrath <roland@redhat.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'sound/sh/Makefile')
0 files changed, 0 insertions, 0 deletions