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 /test/fuzz | |
| parent | 88d8b4e182bfc75e8496f7046af7aab93307b9d0 (diff) | |
fuzz: Pass down MAKEJOBS to test_runner
Diffstat (limited to 'test/fuzz')
| -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 e2454c4237..56b18752ec 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.', |