Index: tools/sharding_supervisor/sharding_supervisor.py |
=================================================================== |
--- tools/sharding_supervisor/sharding_supervisor.py (revision 212017) |
+++ tools/sharding_supervisor/sharding_supervisor.py (working copy) |
@@ -37,6 +37,13 @@ |
rest.append(arg) |
else: |
rest.append(arg) |
+ |
+ # Use --jobs arg if exist. |
+ for arg in args: |
+ if arg.startswith('--jobs='): |
+ run_test_cases_extra_args.append(arg) |
+ break |
+ |
return run_test_cases_extra_args, rest |