diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-01-09 10:58:14 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-09 10:58:14 +0100 |
| commit | b8c1c337e6ca5dc710d1e8bf5eba7ed776b3bd17 (patch) | |
| tree | 427d9d52e0df5af05fd6bc4040ec1960e92063bb | |
| parent | 776281a8b6cab3e9cdd603fec120d1987a3dfd75 (diff) | |
| download | jenkins.debian.net-b8c1c337e6ca5dc710d1e8bf5eba7ed776b3bd17.tar.xz | |
reproducible: add anchors to pkg set stats
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index b4810122..5f61e214 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -250,7 +250,14 @@ VIEW=pkg_sets PAGE=index_${VIEW}.html echo "$(date) - starting to write $PAGE page." write_page_header $VIEW "Overview of ${SPOKENTARGET[$VIEW]}" +write_page "<ul><li>Tracked package sets: </li>" for i in $(seq 1 ${#META_PKGSET[@]}) ; do + write_page "<li><a href=\"#${META_PKGSET[$i]}\">${META_PKGSET[$i]}</a></li>" +done +write_page "</ul>" +for i in $(seq 1 ${#META_PKGSET[@]}) ; do + write_page "<hr /><a name=\"${META_PKGSET[$i]}\"></a>" + BUILDINFO_SIGNS=true META_RESULT=true gather_meta_stats $i # FIXME: this ignores unknown packages... if $META_RESULT ; then @@ -298,9 +305,8 @@ for i in $(seq 1 ${#META_PKGSET[@]}) ; do fi write_page "</p>" fi + write_page_meta_sign done -BUILDINFO_ON_PAGE=true -write_page_meta_sign write_page_footer publish_page |