mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
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 |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |