From 877fb9a6336fd8f1a387cb3bb397018b3dee77b3 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 5 Mar 2015 16:02:34 +0100 Subject: reproducible: deal with global pages --- bin/reproducible_common.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'bin') 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 = '
  • suite: ' + suite + '
  • ' + if suite: + suite_links = '
  • suite: ' + suite + '
  • ' + else: + suite_links = '' for i in SUITES: if i != suite: suite_links += '
  • suite: ' + i + '
  • ' -- cgit v1.2.3-70-g09d2