diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-08-10 20:42:58 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-08-10 20:42:58 +0100 |
commit | 8c229ab1d6afbf7008d3be50d5c33fa7a3dc88ab (patch) | |
tree | 0aedbbb7ee8294800eb55a8c25840612e010444d /Makefile | |
parent | f0e2a4873a21f9b0399686aad295938891dc5417 (diff) |
When killing build subprocess during failure of rpush, try reaping it (so we can report it) before killing it.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions