diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-06-13 18:07:14 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-13 18:07:14 +0200 |
| commit | 9a0e97b2538a5032ecc6d0b34f924aa51ef3e06e (patch) | |
| tree | eb06d18d036d5e3acd31c200ec76656ea7c17677 /bin/reproducible_openwrt.sh | |
| parent | 01ebbbd0d964193657639b922d7ff5505b9936b0 (diff) | |
| download | jenkins.debian.net-9a0e97b2538a5032ecc6d0b34f924aa51ef3e06e.tar.xz | |
reproducible openwrt: correctly include the banner
Diffstat (limited to 'bin/reproducible_openwrt.sh')
| -rwxr-xr-x | bin/reproducible_openwrt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index 7863b543..d44de371 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -212,7 +212,7 @@ done echo "</table>" >> $TOOLCHAIN_HTML # get banner BANNER_HTML=$(mktemp) -find build_dir/ -name banner | grep etc/banner|head -1 >> $BANNER_HTML +cat $(find build_dir/ -name banner | grep etc/banner|head -1) >> $BANNER_HTML # clean up builddir to save space on tmpfs rm -r $TMPBUILDDIR/openwrt |