infra: Make sure all fuzzers complete.

If they don't output debugging information.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
This commit is contained in:
Tim 'mithro' Ansell 2019-02-05 13:22:27 +11:00
parent c038539f4c
commit 5543fc579c
1 changed files with 16 additions and 2 deletions

View File

@ -39,16 +39,30 @@ echo "Running Database build"
echo "----------------------------------------"
(
cd fuzzers
# Output which fuzzers we are going to run
echo "make --dry-run"
make --dry-run
echo "----------------------------------------"
# Run the fuzzers
export MAX_VIVADO_PROCESS=$CORES
set -x
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$CORES" -
set +x
echo "----------------------------------------"
echo "make --dry-run"
make --dry-run
# Check there is nothing to do after running...
if [ $(make --dry-run | wc -l) -gt 0 ]; then
echo "The following targets need to still run!"
make --dry-run
echo "----------------------------------------"
echo "Debug output on why they still need to run"
make --dry-run --debug
echo "----------------------------------------"
else
echo "All good, nothing more to do!"
fi
)
echo "----------------------------------------"