diff options
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index 1571c017..1ad46597 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -190,6 +190,7 @@ class CoverageConfig: self.relative_files = False self.run_include = None self.run_omit = None + self.sigterm = False self.source = None self.source_pkgs = [] self.timid = False @@ -364,6 +365,7 @@ class CoverageConfig: ('relative_files', 'run:relative_files', 'boolean'), ('run_include', 'run:include', 'list'), ('run_omit', 'run:omit', 'list'), + ('sigterm', 'run:sigterm', 'boolean'), ('source', 'run:source', 'list'), ('source_pkgs', 'run:source_pkgs', 'list'), ('timid', 'run:timid', 'boolean'), |