summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-03-03 12:49:21 +0100
committerHolger Levsen <holger@layer-acht.org>2015-03-03 12:49:21 +0100
commit37bc59a5cf684554557fac0d88eee890ea5315bf (patch)
tree337dc28c04a86ae275a5a0a2bea63eefea45240a
parent549c0f1fe0b63b3c5d9555952d89456238f48e62 (diff)
downloadjenkins.debian.net-37bc59a5cf684554557fac0d88eee890ea5315bf.tar.xz
reproducible: update new mainview correctly, include info header als in suite_stats pages
-rwxr-xr-xbin/reproducible_common.sh10
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh
index bc7f424e..1f90ca05 100755
--- a/bin/reproducible_common.sh
+++ b/bin/reproducible_common.sh
@@ -140,10 +140,10 @@ write_page_header() {
write_page "<link href=\"/userContent/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />"
write_page "<title>$2</title></head>"
write_page "<body><header><h2>$2</h2>"
- if [ "$1" = "$MAINVIEW" ] ; then
+ if [ "$1" = "$MAINVIEW" ] || [ "$1" = "suite_stats" ] ; then
write_page "<p>These pages contain results obtained from <a href=\"$JENKINS_URL/view/reproducible\">several jobs running on jenkins.debian.net</a>. Thanks to <a href=\"https://www.profitbricks.com\">Profitbricks</a> for donating the virtual machine this is running on!</p>"
fi
- if [ "${1:0:3}" = "all" ] || [ "$1" = "dd-list" ] || [ "$1" = "stats" ] ; then
+ if [ "${1:0:3}" = "all" ] || [ "$1" = "dd-list" ] || [ "$1" = "stats" ] || [ "$1" = "suite_stats" ] ; then
write_page "<p>$COUNT_TOTAL packages have been attempted to be build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $COUNT_GOOD packages ($PERCENT_GOOD%) <a href=\"https://wiki.debian.org/ReproducibleBuilds\">could be built reproducible!</a>"
write_page " Join <code>#debian-reproducible</code> on OFTC to get support for making sure your packages build reproducibly too!"
write_page "</p>"
@@ -196,12 +196,12 @@ write_page_meta_sign() {
publish_page() {
if [ "$1" = "" ] ; then
+ if [ "$VIEW" = "$MAINVIEW" ] ; then
+ cp $PAGE /var/lib/jenkins/userContent/reproducible.html
+ fi
TARGET=$PAGE
else
TARGET=$1/$PAGE
- if [ "$1" = "sid" ] && [ "$VIEW" = "$MAINVIEW" ] ; then
- cp $PAGE /var/lib/jenkins/userContent/reproducible.html
- fi
fi
cp $PAGE /var/lib/jenkins/userContent/$TARGET
rm $PAGE