lint: Rename --verbose to --verbose-timing.

docs/testing/linters.md

@@ -132,8 +132,9 @@ lint checks against files that are modified in your git repo.  Most of the
 Generally, a good workflow is to run with `--modified` when you are iterating on
 the code, and then run without that option right before committing new code.
 
-If you need to troubleshoot the linters, there is a `--verbose` option that
-can give you clues about which linters may be running slow, for example.
+If you need to troubleshoot the linters, there is a `--verbose-timing`
+option that can give you clues about which linters may be running
+slow, for example.
 
 ### Lint checks
 

tools/lint

@@ -80,7 +80,7 @@ def run():
 
     logging.basicConfig(format="%(asctime)s %(message)s")
     logger = logging.getLogger()
-    if args.verbose:
+    if args.verbose_timing:
         logger.setLevel(logging.INFO)
     else:
         logger.setLevel(logging.WARNING)

tools/zulint/command.py

@@ -20,7 +20,7 @@ def add_default_linter_arguments(parser):
     parser.add_argument('--modified', '-m',
                         action='store_true',
                         help='Only check modified files')
-    parser.add_argument('--verbose', '-v',
+    parser.add_argument('--verbose-timing', '-vt',
                         action='store_true',
                         help='Print verbose timing output')
     parser.add_argument('targets',