diff options
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 5 | ||||
| -rwxr-xr-x | bin/reproducible_openwrt.sh | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index 84795f32..c8cefb8a 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -192,6 +192,9 @@ done cd .. rm coreboot-builds -r +# clean up builddir to save space on tmpfs +rm -r $TMPBUILDDIR/coreboot + # run debbindiff on the results TIMEOUT="30m" DBDSUITE="unstable" @@ -233,7 +236,7 @@ BAD_PERCENT=$(echo "scale=1 ; ($BAD_ROMS*100/$ALL_ROMS)" | bc) # # finally create the webpage # -cd $TMPDIR +cd $TMPDIR ; mkdir coreboot PAGE=coreboot/coreboot.html cat > $PAGE <<- EOF <!DOCTYPE html> diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index dbba56d5..81cc0eb4 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -206,6 +206,9 @@ for i in gcc binutils bzip2 flex python perl make findutils grep diff unzip gawk done echo "</table>" >> $TOOLCHAIN_HTML +# clean up builddir to save space on tmpfs +rm -r $TMPBUILDDIR/openwrt + # run debbindiff on the results TIMEOUT="30m" DBDSUITE="unstable" @@ -245,7 +248,7 @@ GOOD_PERCENT=$(echo "scale=1 ; ($GOOD_IMAGES*100/$ALL_IMAGES)" | bc) # # finally create the webpage # -cd $TMPDIR +cd $TMPDIR ; mkdir openwrt PAGE=openwrt/openwrt.html cat > $PAGE <<- EOF <!DOCTYPE html> |