diff options
| author | kris <kris@FreeBSD.org> | 2003-10-13 08:06:09 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2003-10-13 08:06:09 +0800 |
| commit | 73cc624697d7cc0e7d406ceae64ea866991c3af5 (patch) | |
| tree | f8327a2738469925b25316e9f4ec2eff8ba0967a /audio/replay | |
| parent | 461c6bdcd937b608d2b20bef3cf8b7bdf746c81b (diff) | |
| download | freebsd-ports-gnome-73cc624697d7cc0e7d406ceae64ea866991c3af5.tar.gz freebsd-ports-gnome-73cc624697d7cc0e7d406ceae64ea866991c3af5.tar.zst freebsd-ports-gnome-73cc624697d7cc0e7d406ceae64ea866991c3af5.zip | |
Add a script that prunes the contents of the failure and newfailure files
of stale entries (removed ports, ports listed in duds that were mistakenly
built, malformed entries) and refreshes the version of entries to the
latest in INDEX. This must be run under lockf (see the comments in the
script) to avoid racing with portbuild which also tries to write to
these files.
Diffstat (limited to 'audio/replay')
0 files changed, 0 insertions, 0 deletions