diff options
author | MarcoFalke <falke.marco@gmail.com> | 2020-05-09 15:55:29 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2020-05-10 07:49:09 -0400 |
commit | 3333cb96994182bbdbb21174b691feb716858bc2 (patch) | |
tree | 34a0d93eeb9c735d890f13971422bed58b8ffd3f /ci | |
parent | 88d8b4e182bfc75e8496f7046af7aab93307b9d0 (diff) |
fuzz: Pass down MAKEJOBS to test_runner
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/test/06_script_b.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test/06_script_b.sh b/ci/test/06_script_b.sh index c8542862f2..db6502877d 100755 --- a/ci/test/06_script_b.sh +++ b/ci/test/06_script_b.sh @@ -43,6 +43,6 @@ fi if [ "$RUN_FUZZ_TESTS" = "true" ]; then BEGIN_FOLD fuzz-tests - DOCKER_EXEC test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} -l DEBUG ${DIR_FUZZ_IN} + DOCKER_EXEC test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} $MAKEJOBS -l DEBUG ${DIR_FUZZ_IN} END_FOLD fi |