mirrors/make
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/make.git synced 2025-02-06 06:26:52 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Formerly commands.c.~7~

Browse source
This commit is contained in:
Roland McGrath 1992-06-16 23:43:37 +00:00
parent df884f9d9a
commit add4780bf7
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
commands.c
View file

@ -426,8 +426,6 @@ fatal_error_signal (sig)
if (kill (getpid (), sig) < 0) if (kill (getpid (), sig) < 0)
/* It shouldn't return, but if it does, die anyway. */ /* It shouldn't return, but if it does, die anyway. */
pfatal_with_name ("kill"); pfatal_with_name ("kill");
return 0;
} }
/* Delete all non-precious targets of CHILD unless they were already deleted. /* Delete all non-precious targets of CHILD unless they were already deleted.