Skip to content
Jump to bottom

Fix tee pipe #66

Merged
merged 1 commit into from
Jun 28, 2019
Merged

Fix tee pipe #66

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
5 changes: 2 additions & 3 deletions tools/build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
)

Expand Down