Merge branch 'cb/maint-kill-subprocess-upon-signal' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 6 Feb 2012 07:58:42 +0000 (23:58 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 6 Feb 2012 07:58:42 +0000 (23:58 -0800)
commit1c719ffc3d1c4e03313d5cf5c4d32ec763697857
tree006668b9f1b9a8e8233001278e00a18208342578
parentcc811d8d020682f0d42d5a53c282df1c1a826540
parent10c6cddd928b24ac6030a172c6c7b46efb32aedc
Merge branch 'cb/maint-kill-subprocess-upon-signal' into maint

* cb/maint-kill-subprocess-upon-signal:
  dashed externals: kill children on exit
  run-command: optionally kill children on exit