diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-06 15:22:21 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-06 15:22:21 +0200 |
commit | d1d11ac350bbe1a7baf85b628c80e514bbecd7f6 (patch) | |
tree | 0580e0d522f813bd7fd654398df034f5950c052b | |
parent | 8285c356b935f73871ec358c9c9e88637dd49864 (diff) | |
download | jenkins.debian.net-d1d11ac350bbe1a7baf85b628c80e514bbecd7f6.tar.xz |
reproducible: special case armhf, where we only build unstable
-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 2244d800..6a0c53b5 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -513,6 +513,8 @@ def build_page(page, suite=None, arch=None): else: for suite in SUITES: for arch in ARCHS: + if arch == 'armhf' and suite != 'unstable': + continue log.debug('global page §' + section['db_status'] + ' in ' + page + ' for ' + suite + '/' + arch) html += build_page_section(page, section, suite, arch)[0] |