mirror of
https://github.com/mirror/make.git
synced 2025-03-25 01:00:30 +08:00
Formerly job.c.~58~
This commit is contained in:
parent
a31b168049
commit
4ee750d034
6
job.c
6
job.c
@ -161,10 +161,10 @@ child_error (target_name, exit_code, exit_sig, coredump, ignored)
|
||||
int exit_code, exit_sig, coredump;
|
||||
int ignored;
|
||||
{
|
||||
char *ignore_string = ignored ? " (ignored)" : "";
|
||||
|
||||
if (exit_sig == 0)
|
||||
error ("*** [%s] Error %d%s", target_name, exit_code, ignore_string);
|
||||
error (ignored ? "[%s] Error %d (ignored)" :
|
||||
"*** [%s] Error %d%s",
|
||||
target_name, exit_code);
|
||||
else
|
||||
{
|
||||
char *coredump_string = coredump ? " (core dumped)" : "";
|
||||
|
Loading…
Reference in New Issue
Block a user