From 8cab62ece8e00fc7b0f95fe156b281b35a4a0e3a Mon Sep 17 00:00:00 2001 From: Zac Medico Date: Sun, 16 Nov 2008 07:57:23 +0000 Subject: [PATCH] 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 --- bin/repoman | 6 +++++- man/repoman.1 | 3 +++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/bin/repoman b/bin/repoman index a9bbe6237..04a0fa5f9 100755 --- a/bin/repoman +++ b/bin/repoman @@ -193,6 +193,9 @@ def ParseArgs(args, qahelp): parser.add_option('-I', '--ignore-masked', dest='ignore_masked', action='store_true', default=False, help='ignore masked packages (not allowed with commit mode)') + parser.add_option('--include-dev', dest='include_dev', action='store_true', + default=False, help='include dev profiles in dependency checks') + parser.add_option('--without-mask', dest='without_mask', action='store_true', default=False, help='behave as if no package.mask entries exist (not allowed with commit mode)') @@ -1453,7 +1456,8 @@ for x in scanlist: for prof in profiles[arch]: - if prof[1] not in ("stable", "dev"): + if prof[1] not in ("stable", "dev") or \ + prof[1] == "dev" and not options.include_dev: continue profdir = portdir+"/profiles/"+prof[0] 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 -- 2.26.2