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 /make | |
| 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 'make')
0 files changed, 0 insertions, 0 deletions