diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-10-17T17·35+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-10-17T17·35+0000 |
| commit | f1b3a418fa86e3204c47d4b33873b57a19e9f47c (patch) | |
| tree | fc48b6f89cfe5900bbdd875c9ffec7ca6b1d88ee /make | |
| parent | 439823ae803444052442ad6ceb7191ba22cbc4cf (diff) | |
* Before starting a build under some uid, kill all current processes
running under that uid.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions