diff --git a/workspace_tools/singletest.py b/workspace_tools/singletest.py index 0620bbad71..90d123a060 100644 --- a/workspace_tools/singletest.py +++ b/workspace_tools/singletest.py @@ -184,7 +184,8 @@ if __name__ == '__main__': _opts_suppress_summary=opts.suppress_summary, _opts_test_x_toolchain_summary=opts.test_x_toolchain_summary, _opts_copy_method=opts.copy_method, - _opts_mut_reset_type=opts.mut_reset_type + _opts_mut_reset_type=opts.mut_reset_type, + _opts_jobs=opts.jobs ) # Runs test suite in CLI mode