diff options
-rw-r--r-- | kernel/signal.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/signal.c b/kernel/signal.c index 0a873279393c..0db1d93c4d68 100644 --- a/kernel/signal.c +++ b/kernel/signal.c | |||
@@ -1787,9 +1787,10 @@ relock: | |||
1787 | * Anything else is fatal, maybe with a core dump. | 1787 | * Anything else is fatal, maybe with a core dump. |
1788 | */ | 1788 | */ |
1789 | current->flags |= PF_SIGNALED; | 1789 | current->flags |= PF_SIGNALED; |
1790 | if ((signr != SIGKILL) && print_fatal_signals) | 1790 | |
1791 | print_fatal_signal(regs, signr); | ||
1792 | if (sig_kernel_coredump(signr)) { | 1791 | if (sig_kernel_coredump(signr)) { |
1792 | if (print_fatal_signals) | ||
1793 | print_fatal_signal(regs, signr); | ||
1793 | /* | 1794 | /* |
1794 | * If it was able to dump core, this kills all | 1795 | * If it was able to dump core, this kills all |
1795 | * other threads in the group and synchronizes with | 1796 | * other threads in the group and synchronizes with |