mirror of
https://github.com/mirror/make.git
synced 2025-02-15 06:10:07 +08:00
Formerly commands.c.~18~
This commit is contained in:
parent
ca5b7c487d
commit
5c82e72caa
@ -318,12 +318,19 @@ execute_file_commands (file)
|
|||||||
new_job (file);
|
new_job (file);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* This is set while we are inside fatal_error_signal,
|
||||||
|
so things can avoid nonreentrant operations. */
|
||||||
|
|
||||||
|
int handling_fatal_signal = 0;
|
||||||
|
|
||||||
/* Handle fatal signals. */
|
/* Handle fatal signals. */
|
||||||
|
|
||||||
RETSIGTYPE
|
RETSIGTYPE
|
||||||
fatal_error_signal (sig)
|
fatal_error_signal (sig)
|
||||||
int sig;
|
int sig;
|
||||||
{
|
{
|
||||||
|
handling_fatal_signal = 1;
|
||||||
|
|
||||||
signal (sig, SIG_DFL);
|
signal (sig, SIG_DFL);
|
||||||
#ifdef POSIX
|
#ifdef POSIX
|
||||||
{
|
{
|
||||||
|
Loading…
Reference in New Issue
Block a user