summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-06-01 19:33:04 +0200
committerHolger Levsen <holger@layer-acht.org>2015-06-01 19:33:04 +0200
commitf8f2c3413255f30ec4eecc8570f6b4dbf08313f1 (patch)
treed62d70e4af778d66fbe6fc534c73ce5a6f01a2d1
parentdc3004618691d0c8bd44a2add910f3367bac05d0 (diff)
downloadjenkins.debian.net-f8f2c3413255f30ec4eecc8570f6b4dbf08313f1.tar.xz
reproducible: add link to new index_notify page
-rw-r--r--TODO1
-rwxr-xr-xbin/reproducible_common.py1
-rwxr-xr-xbin/reproducible_common.sh3
3 files changed, 5 insertions, 0 deletions
diff --git a/TODO b/TODO
index a8745a2d..ada41cdb 100644
--- a/TODO
+++ b/TODO
@@ -85,6 +85,7 @@ The plan is to run a jenkins.d.o host, which is maintained by DSA, but we are ma
=== To be done once jenkins.d.n runs jessie
* Apply the patch from https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=26;filename=pbuilder.patch;att=1;bug=677666 to the installed pbuilder package(s)
+** also the other pbuilder patches
* replace with bin/setsid.py workaround with setsid from the util-linux package from jessie
* etc/pbuilderrc: remove /run/shm bindmount once we are running jessie - this is a workaround for #700591
* bin/g-i-installation: use lvcreate without --virtualsize
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py
index 29d77271..b5791807 100755
--- a/bin/reproducible_common.py
+++ b/bin/reproducible_common.py
@@ -214,6 +214,7 @@ def _gen_links(suite, arch):
('last_48h', '<li><a href="/{suite}/{arch}/index_last_48h.html">packages tested in the last 48h</a></li>'),
('all_abc', '<li><a href="/{suite}/{arch}/index_all_abc.html">all tested packages (sorted alphabetically)</a></li>'),
('dd-list', '<li><a href="/{suite}/index_dd-list.html">maintainers of unreproducible packages</a></li>'),
+ ('notify', '<li><a href="/index_notify.html">⚑</a></li>'),
('pkg_sets', '<li><a href="/{suite}/{arch}/index_pkg_sets.html">package sets stats</a></li>')
]
html = ''
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh
index 811a2d3d..3abe9d63 100755
--- a/bin/reproducible_common.sh
+++ b/bin/reproducible_common.sh
@@ -227,6 +227,9 @@ write_page_header() {
else
write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\">${SPOKEN_TARGET}</a></li>"
fi
+ if [ "$TARGET" = "dd-list" ] ; then
+ write_page "<li><a href=\"$BASEURL/index_notify.html\">⚑</a></li>"
+ fi
done
write_page "<li><a href=\"https://wiki.debian.org/ReproducibleBuilds\" target=\"_blank\">wiki</a></li>"
write_page "</ul>"