summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@mapreri.org>2015-07-09 10:24:19 +0000
committerHolger Levsen <holger@layer-acht.org>2015-07-09 12:26:12 +0200
commit922c68aeba37f40b9de08ffe30d613d3130b6aee (patch)
tree6b9160c23de0e9f39cffc70f3a3beebf55ffd702
parent53d085060bb5021e1c30f315bf831ff8c534e793 (diff)
downloadjenkins.debian.net-922c68aeba37f40b9de08ffe30d613d3130b6aee.tar.xz
reproducible: dd-list: show the symbol caption at the footpage + print the just created url on the job log
-rwxr-xr-xbin/reproducible_html_dd_list.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_html_dd_list.py b/bin/reproducible_html_dd_list.py
index 72b347f4..873bb3da 100755
--- a/bin/reproducible_html_dd_list.py
+++ b/bin/reproducible_html_dd_list.py
@@ -67,4 +67,5 @@ for suite in SUITES:
html += '</pre></p>'
title = 'Maintainers of unreproducible packages in ' + suite
destfile = BASE + '/' + suite + '/index_dd-list.html'
- write_html_page(title, html, destfile, suite, arch)
+ write_html_page(title, html, destfile, suite, arch, style_note=True)
+ log.info('%s/%s/index_dd-list.html published', REPRODUCIBLE_URL, suite)