infra: Disable script abort for database generation

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
This commit is contained in:
Tomasz Michalak 2019-04-18 14:10:23 +02:00
parent 8794767eca
commit 77ff259d33
1 changed files with 8 additions and 2 deletions

View File

@ -53,9 +53,10 @@ echo "----------------------------------------"
# - 074 completes in ~60 minutes
# which is well before the 05x INT fuzzers complete.
export MAX_VIVADO_PROCESS=$((CORES/2 < 20 ? CORES/2 : 20))
set -x
set -x +e
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS" -
set +x
DATABASE_RET=$?
set +x -e
echo "----------------------------------------"
# Collect the Vivado logs into one tgz archive
@ -63,6 +64,11 @@ echo "----------------------------------------"
find . -name vivado.log | xargs tar -czvf vivado.tgz
echo "----------------------------------------"
if [[ $DATABASE_RET != 0 ]] ; then
echo "A failure occurred during Database build."
exit $DATABASE_RET
fi
# Check there is nothing to do after running...
echo
if [ $(make --dry-run | grep -v 'Nothing to be done' | wc -l) -gt 0 ]; then