Merge branch 'jk/execv-dashed-external' into next
authorJunio C Hamano <gitster@pobox.com>
Tue, 10 Jan 2017 23:27:35 +0000 (15:27 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 10 Jan 2017 23:27:35 +0000 (15:27 -0800)
commit117b506cb0bcfefbbeaf8deeb0ebc5727e211c8a
treefc21ed5d7c984f318b17211561af8350ad794521
parent2010fb6c03c12f045297dd6375566add2469b111
parent46df6906f3aaf74dafe2026b028c8c5c1a0d5f58
Merge branch 'jk/execv-dashed-external' into next

Typing ^C to pager, which usually does not kill it, killed Git and
took the pager down as a collateral damage in certain process-tree
structure.  This has been fixed.

* jk/execv-dashed-external:
  execv_dashed_external: wait for child on signal death
  execv_dashed_external: stop exiting with negative code
  execv_dashed_external: use child_process struct
git.c