diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-01 18:24:27 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-01 18:24:27 +0200 |
commit | 9d11e700923fa7abf80bc36332606d204deeeed3 (patch) | |
tree | 35278190223d4c5a925e292c61926b31d82c346f /bin | |
parent | c1172fc6599d2367d5037a1c58789d4899270d48 (diff) | |
download | jenkins.debian.net-9d11e700923fa7abf80bc36332606d204deeeed3.tar.xz |
reproducible: html_indexes: set suite/arch to the defaults when building a global page
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_html_indexes.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_html_indexes.py b/bin/reproducible_html_indexes.py index 12917808..a250c46d 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -399,6 +399,8 @@ def build_page(page, suite=None, arch=None): gpage = False if pages[page].get('global') and pages[page]['global']: gpage = True + suite = defaultsuite + arch = defaultarch if not gpage and suite and not arch: print_critical_message('The architecture was not specified while ' + 'building a suite-specific page.') |