diff options
| -rw-r--r-- | make/configure.py | 2 | ||||
| -rw-r--r-- | make/fetch.py | 9 |
2 files changed, 7 insertions, 4 deletions
diff --git a/make/configure.py b/make/configure.py index b5aa8efb2..01274dc3b 100644 --- a/make/configure.py +++ b/make/configure.py @@ -1181,6 +1181,7 @@ def encodeFetchConfig(): fname = 'fetch.cfg' ftmp = fname + '.tmp' data = [ + options.verbose_fetch, options.disable_fetch, options.disable_fetch_md5, options.accept_fetch_url, @@ -1253,6 +1254,7 @@ def createCLI(): ## add fetch options grp = OptionGroup( cli, 'Fetch Options' ) + grp.add_option( '--verbose-fetch', default=False, action='store_true', help='increase fetch verbosity' ) grp.add_option( '--disable-fetch', default=False, action='store_true', help='disable automatic downloads of 3rd-party distributions' ) grp.add_option( '--disable-fetch-md5', default=False, action='store_true', help='disable MD5 data error detection' ) grp.add_option( '--accept-fetch-url', default=[], action='append', metavar='SPEC', help='accept URL regex pattern' ) diff --git a/make/fetch.py b/make/fetch.py index 1a78e5a57..33bc277f9 100644 --- a/make/fetch.py +++ b/make/fetch.py @@ -243,10 +243,11 @@ class File(object): def load_config(option, opt, value, parser): with open(value, 'r') as file: data = json.load(file) - parser.values.disable = data[0] - parser.values.disable_md5 = data[1] - parser.values.accept_url = data[2] - parser.values.deny_url = data[3] + parser.values.verbose = data[0] + parser.values.disable = data[1] + parser.values.disable_md5 = data[2] + parser.values.accept_url = data[3] + parser.values.deny_url = data[4] ############################################################################### |