infra: Run kokoro build inside script.

This fixes the issue with make not output status as things run (instead
waiting until a whole command has finished).

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
This commit is contained in:
Tim 'mithro' Ansell 2019-02-05 00:43:10 +11:00
parent fd40839830
commit 655af51539
2 changed files with 2 additions and 2 deletions

View File

@ -44,7 +44,7 @@ echo "----------------------------------------"
echo "----------------------------------------"
export MAX_VIVADO_PROCESS=$CORES
set -x
make -j $CORES MAX_VIVADO_PROCESS=$CORES
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$CORES" -
set +x
echo "----------------------------------------"
echo "make --dry-run"

View File

@ -34,7 +34,7 @@ echo "----------------------------------------"
echo "----------------------------------------"
export MAX_VIVADO_PROCESS=$CORES
set -x
make -j $CORES MAX_VIVADO_PROCESS=$CORES QUICK=y
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$CORES QUICK=y" -
set +x
)
echo "----------------------------------------"