diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index a410c5ab..f8d82b93 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -366,13 +366,21 @@ write_explaination_table() { write_page "<table class=\"main\" id=\"variation\"><tr><th>variation</th><th>first build</th><th>second build</th></tr>" if [ "$1" = "debian" ] ; then write_page "<tr><td>hostname</td><td>one of:" + local FIRST="" for a in ${ARCHS} ; do + local ARCH_NODES="" + write_page "<br /> " for i in $(echo $BUILD_NODES | sed -s 's# #\n#g' | sort -u) ; do if [ "$(echo $i | grep $a)" ] ; then - write_page "<br /> " - write_page "$(echo $i | cut -d '.' -f1)" + ARCH_NODES="${ARCH_NODES}$(echo $i | cut -d '.' -f1 | sed -s 's# ##g')" + if [ -z $FIRST ] ; then + FIRST=", " + else + ARCH_NODES="${ARCH_NODES}$FIRST" + fi fi done + write_page "${ARCH_NODES}" done write_page "</td><td>i-capture-the-hostname</td></tr>" write_page "<tr><td>domainname</td><td>$(hostname -d)</td><td>i-capture-the-domainname</td></tr>" |