diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-11-14 11:55:22 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-14 11:55:22 +0100 |
commit | 38408a7c7a56c7baec8006bee0bf8ba3e9cca368 (patch) | |
tree | c6427e20d537924e44597fccf6aa56aca7eaa4a0 /bin/reproducible_common.sh | |
parent | e9e8e71591f4056162d17e4d99e94501af3b8b42 (diff) | |
download | jenkins.debian.net-38408a7c7a56c7baec8006bee0bf8ba3e9cca368.tar.xz |
reproducible Debian: show bugs filed on a dedicated page (thanks jmw for the idea)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index ea883546..d41759a6 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -205,7 +205,7 @@ write_page_header() { fi # Used to highlight the link for the current page - if [ "$1" = "dashboard" ] || [ "$1" = "performance" ] || [ "$1" = "repositories" ] || [ "$1" = "variations" ] || [ "$1" = "suite_arch_stats" ]; then + if [ "$1" = "dashboard" ] || [ "$1" = "performance" ] || [ "$1" = "repositories" ] || [ "$1" = "variations" ] || [ "$1" = "suite_arch_stats" ] || [ "$1" = "bugs" ] ; then displayed_page="\"$1\": \"true\"" else displayed_page='' |