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 /doc/Makefile.am | |
parent | 439823ae803444052442ad6ceb7191ba22cbc4cf (diff) |
* Before starting a build under some uid, kill all current processes
running under that uid.
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions