diff options
-rw-r--r-- | Doc/library/trace.rst | 8 | ||||
-rw-r--r-- | Lib/trace.py | 8 |
2 files changed, 10 insertions, 6 deletions
diff --git a/Doc/library/trace.rst b/Doc/library/trace.rst index 91cf1a46c5..9d0c0c4d1a 100644 --- a/Doc/library/trace.rst +++ b/Doc/library/trace.rst @@ -64,12 +64,14 @@ The following command-line arguments are supported: stdout for each file processed. :option:`--ignore-module` - Ignore the named module and its submodules (if it is a package). May be given + Accepts comma separated list of module names. Ignore each of the named + module and its submodules (if it is a package). May be given multiple times. :option:`--ignore-dir` - Ignore all modules and packages in the named directory and subdirectories. May - be given multiple times. + Ignore all modules and packages in the named directory and subdirectories + (multiple directories can be joined by os.pathsep). May be given multiple + times. .. _trace-api: diff --git a/Lib/trace.py b/Lib/trace.py index 3f00605254..2e403c8b3e 100644 --- a/Lib/trace.py +++ b/Lib/trace.py @@ -100,8 +100,9 @@ Modifiers: (Can only be used with --count or --report.) Filters, may be repeated multiple times: ---ignore-module=<mod> Ignore the given module and its submodules - (if it is a package). +--ignore-module=<mod> Ignore the given module(s) and its submodules + (if it is a package). Accepts comma separated + list of module names --ignore-dir=<dir> Ignore files in the given directory (multiple directories can be joined by os.pathsep). """ % sys.argv[0]) @@ -729,7 +730,8 @@ def main(argv=None): continue if opt == "--ignore-module": - ignore_modules.append(val) + for mod in val.split(","): + ignore_modules.append(mod.strip()) continue if opt == "--ignore-dir": |