diff options
| author | Clemens Buchacher <drizzd@aon.at> | 2012-01-08 21:41:09 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-01-08 15:07:20 -0800 |
| commit | 10c6cddd928b24ac6030a172c6c7b46efb32aedc (patch) | |
| tree | 40646622d4b49b72f99de44b4f6519ff65972203 /run-command.h | |
| parent | afe19ff7b55129d988e421ae1e0df4ec9659787a (diff) | |
| download | git-10c6cddd928b24ac6030a172c6c7b46efb32aedc.tar.gz | |
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 'run-command.h')
| -rw-r--r-- | run-command.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-command.h b/run-command.h index 2a6946668b..44f7d2bd42 100644 --- a/run-command.h +++ b/run-command.h @@ -53,6 +53,7 @@ extern int run_hook(const char *index_file, const char *name, ...); #define RUN_COMMAND_STDOUT_TO_STDERR 4 #define RUN_SILENT_EXEC_FAILURE 8 #define RUN_USING_SHELL 16 +#define RUN_CLEAN_ON_EXIT 32 int run_command_v_opt(const char **argv, int opt); /* |