diff --git a/dist-sync b/dist-sync index 00c4632104a0d00c90961799b80629579e7da0c4..45f6bb46404c7153d12ff168d8d5c27881134328 100755 --- a/dist-sync +++ b/dist-sync @@ -119,11 +119,14 @@ class Repo: self.rsynced = {} self.mirrored = None self.main_extra= [] + self.reposync_flags = [] pass def add(self, target, source): if target == 'ARCH': self.arch = source + elif target == 'reposync_flags': + self.reposync_flags.extend(source.split()) elif target in ['baseurl', 'mirrorlist', 'metalink' ]: if self.mirrored: raise Exception('Multiply mirrored %s, %s' % @@ -312,6 +315,7 @@ class Repo: '--metadata-path', metadata_path, '--downloadcomps', '--delete' ] + + self.reposync_flags + [ '--verbose' for i in range(args.verbose) ]) def line_to_progress(l): m = re.match('.*[^0-9](\d+)/(\d+).*', l)