diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-08-28 16:17:44 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-28 16:17:44 +0200 |
commit | ab4c89c29325bfd716339972dbb6d665cd44d5ad (patch) | |
tree | 2aadd4f9bada0620f98bd5e0db3bd0a8c9ab3dc1 /bin | |
parent | d49c0f300ec2a3d2215435a42b7698372d8b4c0a (diff) | |
download | jenkins.debian.net-ab4c89c29325bfd716339972dbb6d665cd44d5ad.tar.xz |
reproducible: atm we only plan to vary the cpu type for Debian package builds...
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_common.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index a0ba84bd..077aef4d 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -337,7 +337,11 @@ write_explaination_table() { write_page "<tr><td>FreeBSD kernel version</td><td colspan=\"2\"> is not yet varied between rebuilds of $1.</td></tr>" write_page "<tr><td>umask</td><td colspan=\"2\"> is not yet varied between rebuilds of $1.</td><tr>" fi - write_page "<tr><td>CPU type</td><td>$(cat /proc/cpuinfo|grep 'model name'|head -1|cut -d ":" -f2-)</td><td>same for both builds (currently, work in progress)</td></tr>" + if [ "$1" = "debian" ] ; then + write_page "<tr><td>CPU type</td><td>$(cat /proc/cpuinfo|grep 'model name'|head -1|cut -d ":" -f2-)</td><td>same for both builds (currently, work in progress)</td></tr>" + else + write_page "<tr><td>CPU type</td><td>$(cat /proc/cpuinfo|grep 'model name'|head -1|cut -d ":" -f2-)</td><td>same for both builds</td></tr>" + fi write_page "<tr><td>year, month, date</td><td>today ($DATE)</td><td>same for both builds (currently, work in progress)</td></tr>" if [ "$1" != "FreeBSD" ] ; then write_page "<tr><td>hour, minute</td><td>hour and minute will probably vary between two builds...</td><td>but this is not enforced systematically... (currently, work in progress)</td></tr>" |