diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-06-06 16:34:50 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-06 16:34:50 +0200 |
| commit | 794ff316f5fccacc523ebe1b625f9d96d88d36a1 (patch) | |
| tree | 1bdd68fbf98cfc597f31662b1fa67757968763f8 | |
| parent | f4673dfe8351f13293c13868cd45e3a57ef9bf10 (diff) | |
| download | jenkins.debian.net-794ff316f5fccacc523ebe1b625f9d96d88d36a1.tar.xz | |
reproducible coreboot: include overall stats
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index b18e5b03..9fd0dc28 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -243,17 +243,22 @@ echo " <h1>Reproducible Coreboot</h2><p>This is work in progress - only TZ echo -n $COREBOOT >> $PAGE echo " </pre><ul>" >> $PAGE +ROMS=0 +RROMS=0 cd b1 for i in * ; do + let ROMS+=1 call_debbindiff $i if [ -f $TMPDIR/$i.html ] ; then mv $TMPDIR/$i.html $BASE/coreboot/dbd/$i.html echo " <li><a href=\"dbd/$i.html\">$i debbindiff output</li>" >> $PAGE else echo " <li>$i had no debbindiff output - it's probably reproducible :)</li>" >> $PAGE + let RROMS+=1 fi done -echo " </ul>" >> $PAGE +PERCENT=$(echo "scale=1 ; ($RROMS*100/$ROMS)" | bc) +echo " </ul><p>$RROMS ($PERCENT%) out of $ROMS built coreboot images were reproducible.</p>" >> $PAGE cat >> PAGE <<- EOF </div> </div> |