diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2019-04-15 15:33:14 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2019-04-15 15:33:14 -0400 |
| commit | 6c123704786e61cdca0bea6ecd89d01f499a0aa4 (patch) | |
| tree | e81b87f7adeed0e2b3daf6a6ae60f12c82410405 /coverage/config.py | |
| parent | 631efd7c571a0ec41854f28ea65707804955f692 (diff) | |
| download | python-coveragepy-git-6c123704786e61cdca0bea6ecd89d01f499a0aa4.tar.gz | |
Add a set_env.py line for COVERAGE_DEBUG
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index f61d6951..f7e1605b 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -486,6 +486,7 @@ def read_coverage_config(config_file, **kwargs): if specified_file: raise CoverageException("Couldn't read '%s' as a config file" % fname) + # $set_env.py: COVERAGE_DEBUG - Options for --debug. # 3) from environment variables: env_data_file = os.environ.get('COVERAGE_FILE') if env_data_file: |