summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-03-02 21:17:00 +0100
committerHolger Levsen <holger@layer-acht.org>2015-03-02 21:17:00 +0100
commit6f545d3a2ef40db9a06c623b3cf0b9e40aab23fd (patch)
treea358d538553fbf159b69aa0badc1213226e69dc9 /bin
parent12c40c671a43ff28f228e115d9531bfb42339d87 (diff)
downloadjenkins.debian.net-6f545d3a2ef40db9a06c623b3cf0b9e40aab23fd.tar.xz
reproducible: provide links to switch suites
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_common.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh
index 395db22e..fd409100 100755
--- a/bin/reproducible_common.sh
+++ b/bin/reproducible_common.sh
@@ -163,6 +163,11 @@ write_page_header() {
done
write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\">${SPOKEN_TARGET}</a></li>"
done
+ for i in $SUITES ; do
+ if [ "$i" != "$SUITE" ] ; then
+ write_page "<li><a href=\"$i\">suite: $i</a></li>"
+ fi
+ done
write_page "</ul>"
write_page "</header>"
}