From 5543fc579c225a6996f78ea11678d09c23c22133 Mon Sep 17 00:00:00 2001 From: Tim 'mithro' Ansell Date: Tue, 5 Feb 2019 13:22:27 +1100 Subject: [PATCH] infra: Make sure all fuzzers complete. If they don't output debugging information. Signed-off-by: Tim 'mithro' Ansell --- .github/kokoro/db-full.sh | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh index a1bf4926..d8168bda 100755 --- a/.github/kokoro/db-full.sh +++ b/.github/kokoro/db-full.sh @@ -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 "----------------------------------------"