diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh index 3c623bd2..b2127e87 100755 --- a/.github/kokoro/db-full.sh +++ b/.github/kokoro/db-full.sh @@ -25,6 +25,8 @@ sudo apt-get install -y \ ls -l ~/.Xilinx sudo chown -R $USER ~/.Xilinx +CORES=$(nproc --all) + echo "----------------------------------------" echo "----------------------------------------" echo "----------------------------------------" @@ -51,14 +53,37 @@ git fetch --tags || true git describe --tags || true # Build the C++ tools -make build --output-sync=target --warn-undefined-variables +make build --output-sync=target --warn-undefined-variables -j$CORES # Setup the Python environment make env --output-sync=target --warn-undefined-variables +echo "----------------------------------------" +echo "----------------------------------------" +echo "----------------------------------------" + source settings/$XRAY_SETTINGS.sh ( export XILINX_LOCAL_USER_DATA=no cd fuzzers - make --output-sync=target --warn-undefined-variables + make --output-sync=target --warn-undefined-variables -j$CORES MAX_VIVADO_PROCESS=$CORES +) + +# Output how the database differs +( + make formatdb + cd database + echo "----------------------------------------" + echo " Database Status" + echo "----------------------------------------" + git status + echo "----------------------------------------" + echo + echo + echo + echo "----------------------------------------" + echo " Database Diff" + echo "----------------------------------------" + git diff + echo "----------------------------------------" ) diff --git a/.github/kokoro/db-quick.sh b/.github/kokoro/db-quick.sh index 08e19752..49431d31 100755 --- a/.github/kokoro/db-quick.sh +++ b/.github/kokoro/db-quick.sh @@ -53,7 +53,7 @@ git fetch --tags || true git describe --tags || true # Build the C++ tools -make build --output-sync=target --warn-undefined-variables +make build --output-sync=target --warn-undefined-variables -j$CORES # Setup the Python environment make env --output-sync=target --warn-undefined-variables @@ -62,12 +62,6 @@ echo "----------------------------------------" echo "----------------------------------------" echo "----------------------------------------" -find . - -echo "----------------------------------------" -echo "----------------------------------------" -echo "----------------------------------------" - source settings/$XRAY_SETTINGS.sh ( export XILINX_LOCAL_USER_DATA=no