diff options
author | Zac Medico <zmedico@gentoo.org> | 2008-11-16 07:59:12 +0000 |
---|---|---|
committer | Zac Medico <zmedico@gentoo.org> | 2008-11-16 07:59:12 +0000 |
commit | bf85b528521001246d47c5c8b1832d735b1cbfdd (patch) | |
tree | bd3ae11d6b0e32d3ec125224282ca3803fed86a3 /man/repoman.1 | |
parent | 2cd135139ffa8899118db75ea9d9901f38a74d92 (diff) | |
download | portage-bf85b528521001246d47c5c8b1832d735b1cbfdd.tar.gz portage-bf85b528521001246d47c5c8b1832d735b1cbfdd.tar.bz2 portage-bf85b528521001246d47c5c8b1832d735b1cbfdd.zip |
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 <dberkholz@g.o> for the suggestion. (trunk r11962)
svn path=/main/branches/2.1.6/; revision=11963
Diffstat (limited to 'man/repoman.1')
-rw-r--r-- | man/repoman.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/repoman.1 b/man/repoman.1 index 7b729567a..c20b6d05c 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 |