From f8f2c3413255f30ec4eecc8570f6b4dbf08313f1 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 1 Jun 2015 19:33:04 +0200 Subject: reproducible: add link to new index_notify page --- TODO | 1 + bin/reproducible_common.py | 1 + bin/reproducible_common.sh | 3 +++ 3 files changed, 5 insertions(+) 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', '
  • packages tested in the last 48h
  • '), ('all_abc', '
  • all tested packages (sorted alphabetically)
  • '), ('dd-list', '
  • maintainers of unreproducible packages
  • '), + ('notify', '
  • '), ('pkg_sets', '
  • package sets stats
  • ') ] 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 "
  • ${SPOKEN_TARGET}
  • " fi + if [ "$TARGET" = "dd-list" ] ; then + write_page "
  • " + fi done write_page "
  • wiki
  • " write_page "" -- cgit v1.2.3-54-g00ecf