diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh index b2127e87..2fedc74f 100755 --- a/.github/kokoro/db-full.sh +++ b/.github/kokoro/db-full.sh @@ -66,7 +66,7 @@ source settings/$XRAY_SETTINGS.sh ( export XILINX_LOCAL_USER_DATA=no cd fuzzers - make --output-sync=target --warn-undefined-variables -j$CORES MAX_VIVADO_PROCESS=$CORES + make --warn-undefined-variables -j$CORES MAX_VIVADO_PROCESS=$CORES ) # Output how the database differs diff --git a/.github/kokoro/db-quick.sh b/.github/kokoro/db-quick.sh index 49431d31..f2a70dc2 100755 --- a/.github/kokoro/db-quick.sh +++ b/.github/kokoro/db-quick.sh @@ -66,5 +66,5 @@ source settings/$XRAY_SETTINGS.sh ( export XILINX_LOCAL_USER_DATA=no cd fuzzers - make --output-sync=target --warn-undefined-variables QUICK=y -j$CORES + make --warn-undefined-variables QUICK=y -j$CORES )