diff options
Diffstat (limited to 'make/configure.py')
| -rw-r--r-- | make/configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/configure.py b/make/configure.py index e27b477fa..cf1894fb0 100644 --- a/make/configure.py +++ b/make/configure.py @@ -1192,6 +1192,7 @@ def encodeDistfileConfig(): 'verbosity': options.df_verbosity, 'accept-url': options.df_accept_url, 'deny-url': options.df_deny_url, + 'exhaust-url': options.df_exhaust_url, } try: try: @@ -1265,6 +1266,7 @@ def createCLI(): grp.add_option( '--df-verbose', default=1, action='count', dest='df_verbosity', help='increase distfile tools verbosity' ) grp.add_option( '--df-accept-url', default=[], action='append', metavar='SPEC', help='accept URLs matching regex pattern' ) grp.add_option( '--df-deny-url', default=[], action='append', metavar='SPEC', help='deny URLs matching regex pattern' ) + grp.add_option( '--df-exhaust-url', default=False, action='store_true', help='try all active distfiles' ) cli.add_option_group( grp ) ## add install options |