Index: tools/sharding_supervisor/sharding_supervisor.py |
diff --git a/tools/sharding_supervisor/sharding_supervisor.py b/tools/sharding_supervisor/sharding_supervisor.py |
index bcbcb843178222617e0c0ef34990050381670512..99670718a32952849aba9dc97857e8366cdd9852 100755 |
--- a/tools/sharding_supervisor/sharding_supervisor.py |
+++ b/tools/sharding_supervisor/sharding_supervisor.py |
@@ -20,7 +20,7 @@ def pop_known_arguments(args): |
for arg in args: |
if arg.startswith(('--gtest_filter=', '--gtest_output=', '--clusters=')): |
run_test_cases_extra_args.append(arg) |
- elif arg == '--run-manual': |
+ elif arg in ('--run-manual', '--verbose'): |
run_test_cases_extra_args.append(arg) |
elif arg == '--gtest_print_time': |
# Ignore. |