diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-06-08 23:43:38 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-08 23:43:38 +0200 |
commit | 58154d6c0e012bd348c528b6970bd4f0e8f6e1fa (patch) | |
tree | 59d0c3238fb0edd22dbc12662789c5088a017ca9 | |
parent | f350189bda4a9f48c90c492a332e88e41565ff16 (diff) | |
download | jenkins.debian.net-58154d6c0e012bd348c528b6970bd4f0e8f6e1fa.tar.xz |
reproducible: don't overwrite mainpage with coreboot page
-rwxr-xr-x | bin/reproducible_common.sh | 3 | ||||
-rwxr-xr-x | bin/reproducible_html_graphs.sh | 1 |
2 files changed, 1 insertions, 3 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 90057964..44049f98 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -298,9 +298,6 @@ write_explaination_table() { publish_page() { if [ "$1" = "" ] ; then - if [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE $BASE/reproducible.html - fi TARGET=$PAGE else TARGET=$1/$PAGE diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index 424a9d04..6e399d06 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -641,6 +641,7 @@ create_main_stats_page() { write_page "<br />There are <a href=\"$BASEURL/index_breakages.html\">some problems in this setup</a> too. And there is <a href=\"https://jenkins.debian.net/userContent/about.html#_reproducible_builds_jobs\">documentation</a> too, in case you missed the link at the top. More feedback is always welcome!</p>" # the end write_page_footer + cp $PAGE $BASE/reproducible.html publish_page } |