diff options
| -rw-r--r-- | bin/reproducible_lede_common.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/reproducible_lede_common.sh b/bin/reproducible_lede_common.sh index 5fe9f9a2..8f628702 100644 --- a/bin/reproducible_lede_common.sh +++ b/bin/reproducible_lede_common.sh @@ -269,7 +269,10 @@ openwrt_get_banner() { TMPDIR=$1 TYPE=$2 cd $TMPDIR/build/source + echo "===bannerbegin===" find build_dir/ -name banner | grep etc/banner|head -1| xargs cat /dev/null + echo "===bannerend===" + } # openwrt_build is run on a remote host @@ -342,6 +345,9 @@ build_two_times() { RUN=b1 ssh $GENERIC_NODE1 reproducible_$TYPE node openwrt_build $TYPE $RUN $TARGET $CONFIG $TMPDIR ssh $GENERIC_NODE1 reproducible_$TYPE node openwrt_get_banner $TMPDIR $TYPE > $BANNER_HTML + # cut away everything before begin and after the end… + # (thats noise generated by the way we run this via reproducible_common.sh) + cat $BANNER_HTML | sed '/===bannerend===/,$d' | tac | sed '/===bannerbegin===/,$d' | tac > $BANNER_HTML # rsync back logs and images rsync -av $GENERIC_NODE1:$TMPDIR/$RUN/ $TMPDIR/$RUN/ |