about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-10-17T17·43+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-10-17T17·43+0000
commit13b089c890bac229e7c3accfd9299f3fdac95e27 (patch)
tree131ac13bdc53c37b0b33f8d51e3ae0a02c846ccb /scripts
parentf1b3a418fa86e3204c47d4b33873b57a19e9f47c (diff)
* Also kill all processes of the build user after the build. This is
  critical to prevent certain kinds of 0wnage.

Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions