diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-06-08 18:27:17 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-08 18:27:17 +0200 |
commit | f350189bda4a9f48c90c492a332e88e41565ff16 (patch) | |
tree | e8c19235a52e4e29fbb0c1ac2d866094abcb6407 | |
parent | daac188881c02a3dca9f3bac15b642bc0d387a0b (diff) | |
download | jenkins.debian.net-f350189bda4a9f48c90c492a332e88e41565ff16.tar.xz |
reproducible coreboot: show size and sha256sum of reproducible images
-rw-r--r-- | TODO | 2 | ||||
-rwxr-xr-x | bin/reproducible_coreboot.sh | 6 |
2 files changed, 6 insertions, 2 deletions
@@ -233,6 +233,8 @@ egrep -R -l '(debbindiff had trouble comparing|maybe there is still )' /var/lib/ * coreboot ** add more variations: domain+hostname, uid+gid, USER, UTS namespace ** split into two jobs, one to build the toolchain, the other to test, keep the git repo and update it. run both jobs weekly. +*** call script with "init" or "run-tests" +*** not sure how to best keep the git repo and the toolchain (not on tmpfs) while building in tmpfs... * openwrt ---- diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index 40f94648..ae0db236 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -197,11 +197,13 @@ for i in * ; do let ALL_ROMS+=1 if [ -f $i/coreboot.rom ] ; then call_debbindiff $i + SIZE="$(du -h $i/coreboot.rom | cut -f1)" if [ -f $TMPDIR/$i.html ] ; then mv $TMPDIR/$i.html $BASE/coreboot/dbd/$i.html - write_page " <li><a href=\"dbd/$i.html\"><img src=\"/userContent/static/weather-showers-scattered.png\" alt=\"unreproducible icon\" /> $i</a> is unreproducible.</li>" + write_page " <li><a href=\"dbd/$i.html\"><img src=\"/userContent/static/weather-showers-scattered.png\" alt=\"unreproducible icon\" /> $i</a> ($SIZE) is unreproducible.</li>" else - write_page " <li><img src=\"/userContent/static/weather-clear.png\" alt=\"reproducible icon\" /> $i had no debbindiff output so it's probably reproducible :)</li>" + SHASUM=$(sha256sum $i/coreboot.rom|cut -d " " -f1) + write_page " <li><img src=\"/userContent/static/weather-clear.png\" alt=\"reproducible icon\" /> $i ($SHASUM, $SIZE) had no debbindiff output so it's probably reproducible :)</li>" let GOOD_ROMS+=1 fi else |