diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-06-12 18:03:28 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-12 18:03:28 +0200 |
| commit | ced3030c0814e28efb51ba99d494ba16be251add (patch) | |
| tree | 14711a553d37981bd6acdbd9d2dc75fc789d74bd | |
| parent | 09c724aea43098b45f62b3adf5ca8707617b8c85 (diff) | |
| download | jenkins.debian.net-ced3030c0814e28efb51ba99d494ba16be251add.tar.xz | |
reproducible openwrt and coreboot: cleanup TMPBUILDDIR sooner, to free memory earlier. Fixup error when creating html page
| -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> |