From beb39b92c7f17193fccc50acdcb65b93adbd31e5 Mon Sep 17 00:00:00 2001 From: Packet Please Date: Mon, 3 Oct 2022 23:14:14 +0200 Subject: [PATCH] Copy build output to artifacts directory --- build_feed | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/build_feed b/build_feed index 8a78015..7ac5158 100755 --- a/build_feed +++ b/build_feed @@ -11,6 +11,9 @@ if [ "$1" == "incontainer" ]; then fi echo "$FEED_LINE" >> feeds.conf.default + logfile="bin/packages/$INSTR_SET/$FEED_NAME/build.log" + mkdir -p "$(dirname "$logfile")" + # the grep pipes further down would otherwise be buffered unbuf="stdbuf --output=0 --error=0" { @@ -23,7 +26,8 @@ if [ "$1" == "incontainer" ]; then make package/index V=s } |& $unbuf grep -v 'warning: ignoring type redefinition' \ | $unbuf grep -v 'warning: defaults for choice' \ - | $unbuf grep -v "linux/Makefile' has a dependency" + | $unbuf grep -v "linux/Makefile' has a dependency" \ + | tee "$logfile" else SDK_TAG="$1" FEED_LINE="$2"