diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-21T09·35+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-21T09·35+0000 |
| commit | 3f3a3ae87b3d72d52842d9a2ffe7010f5b0066b9 (patch) | |
| tree | 5ed7533eb45dbadcf8f2cc339ef15a1410885f10 /misc | |
| parent | 72c857f0eb923c3126600a5c97bfb30fedd859c1 (diff) | |
* Acquire a lock on the output path when running a substitute. Also
delete obstructing invalid paths.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions