From bf85b528521001246d47c5c8b1832d735b1cbfdd Mon Sep 17 00:00:00 2001 From: Zac Medico Date: Sun, 16 Nov 2008 07:59:12 +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. (trunk r11962) svn path=/main/branches/2.1.6/; revision=11963 --- bin/repoman | 6 +++++- man/repoman.1 | 3 +++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/bin/repoman b/bin/repoman index 067707bce..c22214afc 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 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 -- cgit v1.2.3-1-g7c22