diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-06-13 14:40:40 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-13 14:40:40 +0200 |
| commit | ef3e06c32c2300d88deca0023ea27ae5cda1af8c (patch) | |
| tree | fcb4796a0b3aec0c3606bc95000e58c9043b645a | |
| parent | 20625dae394c4dddf881d3e15ff9a26d5770f39d (diff) | |
| download | jenkins.debian.net-ef3e06c32c2300d88deca0023ea27ae5cda1af8c.tar.xz | |
reproducible openwrt: preserve banner as build_dir gets removed to free memory
| -rwxr-xr-x | bin/reproducible_openwrt.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index 2c42617d..74d739d5 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -210,6 +210,9 @@ for i in gcc binutils bzip2 flex python perl make findutils grep diffutils unzip echo " </td></tr>" >> $TOOLCHAIN_HTML done echo "</table>" >> $TOOLCHAIN_HTML +# get banner +BANNER_HTML=$(mktemp) +find build_dir/ -name banner | grep etc/banner|head -1 >> $BANNER_HTML # clean up builddir to save space on tmpfs rm -r $TMPBUILDDIR/openwrt @@ -305,7 +308,7 @@ cat > $PAGE <<- EOF <p><center> <code> EOF -cat $(find openwrt/build_dir/ -name banner | grep etc/banner|head -1) >> $PAGE +cat $BANNER_HTML >> $PAGE write_page " </code></center></p>" write_page " </div><div id=\"main-content\">" write_page " <h1>Reproducible OpenWRT - <em>reproducible</em> wireless freedom$MAGIC_SIGN</h1>" @@ -323,7 +326,7 @@ cat $TOOLCHAIN_HTML >> $PAGE write_page " </div>" write_page_footer OpenWRT publish_page -rm -f $DBD_HTML $TOOLCHAIN_HTML +rm -f $DBD_HTML $TOOLCHAIN_HTML $BANNER_HTML # the end calculate_build_duration |