summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-06 15:22:21 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-06 15:22:21 +0200
commitd1d11ac350bbe1a7baf85b628c80e514bbecd7f6 (patch)
tree0580e0d522f813bd7fd654398df034f5950c052b
parent8285c356b935f73871ec358c9c9e88637dd49864 (diff)
downloadjenkins.debian.net-d1d11ac350bbe1a7baf85b628c80e514bbecd7f6.tar.xz
reproducible: special case armhf, where we only build unstable
-rwxr-xr-xbin/reproducible_html_indexes.py2
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]