diff options
| -rwxr-xr-x | bin/reproducible_common.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 34942fd3..5bbcab1d 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -192,7 +192,10 @@ def write_html_page(title, body, destfile, suite=None, noheader=False, style_not html = '' html += html_header.substitute(page_title=title) if not noheader: - suite_links = '<li><a href="/' + suite +'">suite: ' + suite + '</a></li>' + if suite: + suite_links = '<li><a href="/' + suite +'">suite: ' + suite + '</a></li>' + else: + suite_links = '' for i in SUITES: if i != suite: suite_links += '<li><a href="/' + i +'">suite: ' + i + '</a></li>' |