diff options
-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 f6fc77a7..2378f58f 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -431,7 +431,7 @@ write_explaination_table() { write_page "$(cat /srv/reproducible-results/node-information/*$a* | grep KERNEL | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" done write_page "</td>" - write_page "<td>(on amd64 systematically varied, on i386 too as well and also with 32 and 64 bit kernel variation, while on armhf not systematically)<br />" + write_page "<td>(on amd64 systematically varied, on i386 as well and also with 32 and 64 bit kernel variation, while on armhf not systematically)<br />" for a in ${ARCHS} ; do write_page "<br />on $a one of:" write_page "$(cat /srv/reproducible-results/node-information/*$a* | grep KERNEL | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" |