From c038539f4c0919350d4b28dce84060f53340bc73 Mon Sep 17 00:00:00 2001 From: Tim 'mithro' Ansell Date: Tue, 5 Feb 2019 13:09:46 +1100 Subject: [PATCH] infra: Only formatdb / checkdb for part currently running. Signed-off-by: Tim 'mithro' Ansell --- .github/kokoro/db-full.sh | 10 +++++++++- .github/kokoro/db-quick.sh | 2 +- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh index 1b8d91f1..a1bf4926 100755 --- a/.github/kokoro/db-full.sh +++ b/.github/kokoro/db-full.sh @@ -52,12 +52,17 @@ echo "----------------------------------------" ) echo "----------------------------------------" +# Check the database +make checkdb-${XRAY_SETTINGS} || true +# Format the database +make formatdb-${XRAY_SETTINGS} + +# Output if the database has differences echo echo "========================================" echo " Database Differences" echo "----------------------------------------" ( - make formatdb cd database echo "----------------------------------------" echo " Database Status" @@ -73,3 +78,6 @@ echo "----------------------------------------" git diff ) echo "----------------------------------------" + +# Check the database and fail if it is broken. +make checkdb-${XRAY_SETTINGS} diff --git a/.github/kokoro/db-quick.sh b/.github/kokoro/db-quick.sh index 13c91e10..35c2aa42 100755 --- a/.github/kokoro/db-quick.sh +++ b/.github/kokoro/db-quick.sh @@ -25,7 +25,7 @@ source settings/$XRAY_SETTINGS.sh echo echo "========================================" -echo "Running quick Database build" +echo "Running quick fuzzer sanity check" echo "----------------------------------------" ( cd fuzzers