diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-09-17T10·02+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-09-17T10·02+0000 |
commit | 7ab68961e4d7c30485efde1fb9dcb6edbdea9b5c (patch) | |
tree | 2bb1faf9cb583276240ac9e9fa940205202bec39 /bootstrap.sh | |
parent | 2b2aa8a820b10aeaf8bb8f1eb70937d04869c045 (diff) |
* Garbage collector: added an option `--use-atime' to delete paths in
order of ascending last access time. This is useful in conjunction with --max-freed or --max-links to prefer deleting non-recently used garbage, which is good (especially in the build farm) since garbage may become live again. The code could easily be modified to accept other criteria for ordering garbage by changing the comparison operator used by the priority queue in collectGarbage().
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions