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 /bin/reproducible_openwrt.sh | |
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
Diffstat (limited to 'bin/reproducible_openwrt.sh')
-rwxr-xr-x | bin/reproducible_openwrt.sh | 5 |
1 files changed, 4 insertions, 1 deletions
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> |