diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T12·48+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T12·48+0000 |
commit | 8ab229ddf2383ec6455836f342539b8c89356f76 (patch) | |
tree | bbb5e55e69cd7a665691e7de7755bb9050d0f468 /scripts/find-runtime-roots.pl.in | |
parent | b2b6cf3fc83f0e1625214ae31b0b088a266234bf (diff) |
* Terminate build hooks and substitutes with a TERM signal, not a KILL
signal. This is necessary because those processes may have joined the BDB environment, so they have to be given a chance to clean up. (NIX-85)
Diffstat (limited to 'scripts/find-runtime-roots.pl.in')
0 files changed, 0 insertions, 0 deletions