diff options
| author | MarcoFalke <[email protected]> | 2020-05-09 15:55:29 -0400 |
|---|---|---|
| committer | MarcoFalke <[email protected]> | 2020-05-10 07:49:09 -0400 |
| commit | 3333cb96994182bbdbb21174b691feb716858bc2 (patch) | |
| tree | 34a0d93eeb9c735d890f13971422bed58b8ffd3f | |
| parent | Merge #18901: fuzz: use std::optional for sep_pos_opt variable (diff) | |
| download | discoin-3333cb96994182bbdbb21174b691feb716858bc2.tar.xz discoin-3333cb96994182bbdbb21174b691feb716858bc2.zip | |
fuzz: Pass down MAKEJOBS to test_runner
| -rwxr-xr-x | ci/test/06_script_b.sh | 2 | ||||
| -rwxr-xr-x | test/fuzz/test_runner.py | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/ci/test/06_script_b.sh b/ci/test/06_script_b.sh index c8542862f..db6502877 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 diff --git a/test/fuzz/test_runner.py b/test/fuzz/test_runner.py index e2454c423..56b18752e 100755 --- a/test/fuzz/test_runner.py +++ b/test/fuzz/test_runner.py @@ -38,6 +38,7 @@ def main(): ) parser.add_argument( '--par', + '-j', type=int, default=4, help='How many targets to merge or execute in parallel.', |