]> granicus.if.org Git - python/commitdiff
add missing "summary" from long options list
authorSkip Montanaro <skip@pobox.com>
Mon, 3 Feb 2003 06:34:22 +0000 (06:34 +0000)
committerSkip Montanaro <skip@pobox.com>
Mon, 3 Feb 2003 06:34:22 +0000 (06:34 +0000)
Tools/scripts/trace.py

index ea43f0e100161cbd99fbe5807aa5f3ea1d94ae70..ffbce5f21f31bfbb77c93c6135c887a14cbda598 100644 (file)
@@ -597,7 +597,7 @@ def main(argv=None):
     try:
         opts, prog_argv = getopt.getopt(argv[1:], "tcrRf:d:msC:l",
                                         ["help", "version", "trace", "count",
-                                         "report", "no-report",
+                                         "report", "no-report", "summary",
                                          "file=", "missing",
                                          "ignore-module=", "ignore-dir=",
                                          "coverdir=", "listfuncs",])