diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-28 16:22:08 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-28 16:22:08 +0000 |
| commit | cb1c1004cdd582abe67146ab3904bd88de3a1d4e (patch) | |
| tree | c03c2d1a60ea418cf72119ccf09d961fb997c600 /aterm-gc.supp | |
| parent | c970b28ba0f8866bde800849120d429d781ccb5d (diff) | |
* When there are multiple substituters, make sure to release the
lock on the output path after trying each. Otherwise the
pathIsLockedByMe() test gets confused.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions