diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-06-19T14·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-06-19T14·43+0000 |
| commit | b35735d8b28af206fa0b293c796bf44c62dde678 (patch) | |
| tree | f0ba3807a5de3ced6d83a76a1ef07e5029604e3f /substitute.mk | |
| parent | 0e783e557941f77d5b4bcf2a6c6423ed583991a2 (diff) | |
* On Windows we cannot delete open (lock) files, so we delete lock
files after we've closed them. Since this only succeeds if the lock is no longer opened by any process, the token trick used on Unix is not necessary.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions