diff options
| author | abs <abs@pkgsrc.org> | 2001-11-28 11:39:44 +0000 |
|---|---|---|
| committer | abs <abs@pkgsrc.org> | 2001-11-28 11:39:44 +0000 |
| commit | 76f6403246376919a1f38af8516696be424d0911 (patch) | |
| tree | de616dfb1651936ea0738fc34f433b824bfd16ff /editors/yudit | |
| parent | 154f0398576b03dc3421329275eb8bad9a67cb28 (diff) | |
| download | pkgsrc-76f6403246376919a1f38af8516696be424d0911.tar.gz | |
Update pkgtools/pkgchk to 1.20:
Handle -r and -a on the same line (remove mismatched packages, then add)
In the -B case avoid an extra 'make' invocation - reduces time taken on
my system by 45%
Diffstat (limited to 'editors/yudit')
0 files changed, 0 insertions, 0 deletions