| commit | c064a1d7e36ba58f8402c9fd03395904adabe3e8 | [log] [tgz] |
|---|---|---|
| author | Skip Montanaro <skip@pobox.com> | Mon Feb 03 06:34:22 2003 +0000 |
| committer | Skip Montanaro <skip@pobox.com> | Mon Feb 03 06:34:22 2003 +0000 |
| tree | ea69887a3f29171be5b51a255a486dbecaa1e671 | |
| parent | 1ff49a7734265d3fdbf21e739ccd3f669b6f9820 [diff] |
add missing "summary" from long options list
diff --git a/Tools/scripts/trace.py b/Tools/scripts/trace.py index ea43f0e..ffbce5f 100644 --- a/Tools/scripts/trace.py +++ b/Tools/scripts/trace.py
@@ -597,7 +597,7 @@ 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",])