Date: Mon, 02 Jun 2014 19:38:31 +0000 From: no-reply-bugzilla-daemon@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 190532] New: ports-mgmt/portmaster needs new debug option Message-ID: <bug-190532-13@http.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
http://bugs.freebsd.org/bugzilla/show_bug.cgi?id=190532 Bug ID: 190532 Summary: ports-mgmt/portmaster needs new debug option Product: Ports Tree Version: Latest Hardware: Any OS: Any Status: Needs Triage Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: mikhail.rokhin@gmail.com When building huge ports like gnome or kde it happens sometime that some port fails breaking all building (such a disaster for 500+ ports build to start again and again), but you could ease the whole thing adding options: a) rebuild failed port, letting user to correct it, if possible; b) to launch config of parent port to cancel failing port and return to the point of port building For e.g. vlc has option of fluidsynth and fluidsynth failed: .. ===> r) rebuild port c) launch config of parent to disable failing port f) fail Thank you in advance. -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-190532-13>