diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 435f1f20..f71c77f4 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -415,7 +415,14 @@ write_explaination_table() { fi if [ "$1" != "FreeBSD" ] ; then if [ "$1" = "debian" ] ; then - write_page "<tr><td>kernel version</td></td><td>one of: $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')</td><td>(on amd64 systematically varied, on armhf not yet)<br />one of: $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')</td></tr>" + write_page "<tr><td>kernel version</td></td><td>one of:" + write_page " $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | grep amd64 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" + write_page " $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | grep -v amd64 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" + write_page "</td>" + write_page "<td>(on amd64 systematically varied, on armhf not yet)<br />" + write_page "one of: $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | grep amd64 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" + write_page "one of: $(cat /srv/reproducible-results/node-information/* | grep KERNEL1 | grep -v amd64 | cut -d '=' -f2- | sort -u | tr '\n' '\0' | xargs -0 -n1 echo '<br /> ')" + write_page "</td></tr>" elif [ "$1" != "Arch Linux" ] ; then write_page "<tr><td>kernel version, modified using /usr/bin/linux64 --uname-2.6</td><td>$(uname -sr)</td><td>$(/usr/bin/linux64 --uname-2.6 uname -sr)</td></tr>" else |