diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-04-29 14:39:46 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-04-29 14:39:46 +0200 |
commit | d6b98f195b91d930e4405469966da785d5f040e9 (patch) | |
tree | c150da9b948845224c521d5396d80bf7883f8783 /bin/reproducible_common.sh | |
parent | 1931b4f8d77e510298d9c34bb25a087d7b46a07a (diff) | |
download | jenkins.debian.net-d6b98f195b91d930e4405469966da785d5f040e9.tar.xz |
reproducible: rename function: s#explaination_table#variation_table#g
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 06b61700..81e0a842 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -360,7 +360,7 @@ write_page_meta_sign() { write_page "A <code><span class=\"bug\">#</span></code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code><span class=\"bug-patch\">+</span></code> sign indicates there is a patch available, a <code><span class="bug-pending">P</span></code> means a pending bug while <code><span class=\"bug-done\">#</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>" } -write_explaination_table() { +write_variation_table() { write_page "<p style=\"clear:both;\">" if [ "$1" = "fedora-23" ] ; then write_page "There are no variations introduced in the $1 builds yet. Stay tuned.</p>" |