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.
mariux64 · Jun 13, 2019 · d8c7797 · d8c7797
1 parent f2e1b44
commit d8c7797
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/tools/build.sh b/tools/build.sh
@@ -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"
 )