about summary refs log tree commit diff
path: root/misc/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-09-17T10·02+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-09-17T10·02+0000
commit7ab68961e4d7c30485efde1fb9dcb6edbdea9b5c (patch)
tree2bb1faf9cb583276240ac9e9fa940205202bec39 /misc/Makefile.am
parent2b2aa8a820b10aeaf8bb8f1eb70937d04869c045 (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 'misc/Makefile.am')
0 files changed, 0 insertions, 0 deletions