diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-02 21:17:00 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-02 21:17:00 +0100 |
| commit | 6f545d3a2ef40db9a06c623b3cf0b9e40aab23fd (patch) | |
| tree | a358d538553fbf159b69aa0badc1213226e69dc9 /bin | |
| parent | 12c40c671a43ff28f228e115d9531bfb42339d87 (diff) | |
| download | jenkins.debian.net-6f545d3a2ef40db9a06c623b3cf0b9e40aab23fd.tar.xz | |
reproducible: provide links to switch suites
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.sh | 5 |
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>" } |