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 /test/fuzz/test_runner.py | |
| 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
Diffstat (limited to 'test/fuzz/test_runner.py')
| -rwxr-xr-x | test/fuzz/test_runner.py | 1 |
1 files changed, 1 insertions, 0 deletions
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.', |