Skip to content

Fix tee pipe #66

Merged
merged 1 commit into from
Jun 28, 2019
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
build.sh: replace tee pipe with script
when something inside the spawned build script switches to
nonbuffered IO and creates very long lines ( > 64k ) the build
will fail. solution: replace the tee pipe with /usr/bin/script.
wwwutz committed Jun 13, 2019
commit d8c77970b749d17015e333af38b0f6f1ab420973
5 changes: 2 additions & 3 deletions tools/build.sh
Original file line number Diff line number Diff line change
@@ -61,10 +61,9 @@ fi

chmod a+rx "$PKG.build.sh"

echo "sudo -u build -i ./$PKG.build.sh </dev/null 2>&1 | tee $PKG.build.log"
echo "sudo -u build script -q -c \"./$PKG.build.sh\" $PKG.build.log"
(
set -o pipefail
sudo -u build ./$PKG.build.sh </dev/null 2>&1 | tee $PKG.build.log
sudo -u build script -q -c "./$PKG.build.sh" $PKG.build.log
sudo -u build cp "$PKG.build.sh" "/package/pkg/$PKG/.$PKG.build.sh"
)