diff options
Diffstat (limited to 'bin/reproducible_stats.sh')
| -rwxr-xr-x | bin/reproducible_stats.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index c07d8947..629f5b06 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -98,7 +98,7 @@ append2navi_frame() { } finish_navi_frame() { - echo "</td><td style=\"text-align:right\"><a href=\"$JENKINS_URL/userContent/reproducible.html\" target=\"_parent\">stats for reproducible builds</a></td></tr></table></body></html>" >> $NAVI + echo "</td><td style=\"text-align:right\"><font size=\"-1\"><a href=\"http://bugs.debian.org/cgi-bin/pkgreport.cgi?usertag=reproducible-builds@lists.alioth.debian.org\" target=\"_parent\">bugs</a>/<a href=\"$JENKINS_URL/userContent/reproducible.html\" target=\"_parent\">stats</a> for reproducible builds</font></td></tr></table></body></html>" >> $NAVI } process_packages() { |