summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-06-13 14:40:40 +0200
committerHolger Levsen <holger@layer-acht.org>2015-06-13 14:40:40 +0200
commitef3e06c32c2300d88deca0023ea27ae5cda1af8c (patch)
treefcb4796a0b3aec0c3606bc95000e58c9043b645a /bin
parent20625dae394c4dddf881d3e15ff9a26d5770f39d (diff)
downloadjenkins.debian.net-ef3e06c32c2300d88deca0023ea27ae5cda1af8c.tar.xz
reproducible openwrt: preserve banner as build_dir gets removed to free memory
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_openwrt.sh7
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