diff options
| -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 b592544c..f02ce40c 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -567,6 +567,8 @@ if __name__ == '__main__': generate_schedule() for suite in SUITES: for arch in ARCHS: + if arch == 'armhf' and suite != 'unstable': + continue for page in pages.keys(): if 'global' not in pages[page] or not pages[page]['global']: build_page(page, suite, arch) |