Add comment about limiting MAX_VIVADO_INSTANCE to 20.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
This commit is contained in:
Keith Rothman 2019-02-08 12:47:31 -08:00
parent a5e6266b51
commit 24f34c7372
1 changed files with 6 additions and 0 deletions

View File

@ -46,6 +46,12 @@ echo "----------------------------------------"
echo "----------------------------------------"
# Run the fuzzers
#
# Cap MAX_VIVADO_PROCESS at 20 to limit memory usage of 074 fuzzer.
# At MAX_VIVADO_PROCESS=20:
# - 072 completes in ~35 minutes
# - 074 completes in ~60 minutes
# which is well before the 05x INT fuzzers complete.
export MAX_VIVADO_PROCESS=$((CORES/2 < 20 ? CORES/2 : 20))
set -x
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS" -