summaryrefslogtreecommitdiff
path: root/Documentation/Makefile
diff options
context:
space:
mode:
authorLibravatar Clemens Buchacher <drizzd@aon.at>2012-01-08 21:41:09 +0100
committerLibravatar Junio C Hamano <gitster@pobox.com>2012-01-08 15:07:20 -0800
commit10c6cddd928b24ac6030a172c6c7b46efb32aedc (patch)
tree40646622d4b49b72f99de44b4f6519ff65972203 /Documentation/Makefile
parentrun-command: optionally kill children on exit (diff)
downloadtgif-10c6cddd928b24ac6030a172c6c7b46efb32aedc.tar.xz
dashed externals: kill children on exit
Several git commands are so-called dashed externals, that is commands executed as a child process of the git wrapper command. If the git wrapper is killed by a signal, the child process will continue to run. This is different from internal commands, which always die with the git wrapper command. Enable the recently introduced cleanup mechanism for child processes in order to make dashed externals act more in line with internal commands. Signed-off-by: Clemens Buchacher <drizzd@aon.at> Acked-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions