From 8cab62ece8e00fc7b0f95fe156b281b35a4a0e3a Mon Sep 17 00:00:00 2001 From: Zac Medico Date: Sun, 16 Nov 2008 07:57:23 +0000 Subject: In order to reduce time consumed for dependency checks, skip 'dev' profiles by default and add an --include-dev option which causes them to be checked. Given the current profiles.desc content, this approximately halves the number of profiles checked by default and also halves the time consumed by repoman. Thanks to Donnie Berkholz for the suggestion. svn path=/main/trunk/; revision=11962 --- man/repoman.1 | 3 +++ 1 file changed, 3 insertions(+) (limited to 'man/repoman.1') diff --git a/man/repoman.1 b/man/repoman.1 index a4a92a731..ee911dd73 100644 --- a/man/repoman.1 +++ b/man/repoman.1 @@ -37,6 +37,9 @@ Ignore arch-specific failures (where arch != host) \fB\-I\fR, \fB\-\-ignore\-masked\fR Ignore masked packages (not allowed with commit mode) .TP +\fB\-\-include\-dev\fR +Include dev profiles in dependency checks. +.TP \fB\-\-without\-mask\fR Behave as if no package.mask entries exist (not allowed with commit mode) .TP -- cgit v1.2.3-1-g7c22