diff options
Diffstat (limited to 'bin/reproducible_common.py')
| -rwxr-xr-x | bin/reproducible_common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 07456127..9c52fbc2 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -215,7 +215,7 @@ def write_html_page(title, body, destfile, suite=None, noheader=False, style_not html = '' html += html_header.substitute(page_title=title) if not noheader: - links = _gen_links(suite, 'amd64') # FIXME let's unhardcode amd64... + links = _gen_links(suite, 'amd64') # hardcode amd64 for now... html += html_head_page.substitute( page_title=title, links=links) |