Jilles Tjoelker 4646e82dcd sh: Successfully do nothing when killing a terminated job. ... If a job has terminated but is still known, silently do nothing when using the kill builtin with the job specifier. Formerly, the shell called kill() with the process group ID that might have been reused.		2014-03-08 19:44:34 +00:00
..
kill.1	sh: Add kill builtin.	2010-12-21 22:47:34 +00:00
kill.c	sh: Successfully do nothing when killing a terminated job.	2014-03-08 19:44:34 +00:00
Makefile