In order to reduce time consumed for dependency checks, skip 'dev' profiles
authorZac Medico <zmedico@gentoo.org>
Sun, 16 Nov 2008 07:57:23 +0000 (07:57 -0000)
committerZac Medico <zmedico@gentoo.org>
Sun, 16 Nov 2008 07:57:23 +0000 (07:57 -0000)
commit8cab62ece8e00fc7b0f95fe156b281b35a4a0e3a
tree7fef874f580f315b20930bb06dba70f39c64d61e
parent4efca06b864d01c2c3d8d11bf7481bd8cb455b14
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.

svn path=/main/trunk/; revision=11962
bin/repoman
man/repoman.1