about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-03-19T12·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-03-19T12·48+0000
commit8ab229ddf2383ec6455836f342539b8c89356f76 (patch)
treebbb5e55e69cd7a665691e7de7755bb9050d0f468 /scripts
parentb2b6cf3fc83f0e1625214ae31b0b088a266234bf (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')
0 files changed, 0 insertions, 0 deletions