9f3d099422
1) added -ip "ignore port" command line option and the same for pm-020.conf 2) if a port fails to build, port manager now instead of failing, adds it to ignore.db then continues PR: ports/76529 Submitted by: maintainer |
||
---|---|---|
.. | ||
barry | ||
bpm | ||
p5-FreeBSD-Portindex | ||
p5-FreeBSD-Ports | ||
pib | ||
pkg_cutleaves | ||
pkg_install | ||
pkg_install-devel | ||
pkg_remove | ||
pkg_rmleaves | ||
pkg_tree | ||
port-authoring-tools | ||
port-maintenance-tools | ||
portaudit | ||
portaudit-db | ||
portbrowser | ||
portcheckout | ||
portdowngrade | ||
porteasy | ||
portell | ||
portlint | ||
portmanager | ||
portmk | ||
portsman | ||
portsnap | ||
porttools | ||
portupgrade | ||
portupgrade-devel | ||
qtpkg | ||
vulnerability-test-port |