diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-20 19:15:40 +0300 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-20 19:15:40 +0300 |
commit | f6f5d270e7cfadb3dc0a3966c2edf4e322361fac (patch) | |
tree | a37ba3877db6ba37ac8c78d0fa48c0df17af60a7 /pylint/lint.py | |
parent | 050fc46ebc5d4ddfc50b7553f4af336172431ac5 (diff) | |
download | pylint-f6f5d270e7cfadb3dc0a3966c2edf4e322361fac.tar.gz |
Obsolete options are not present by default in the generated configuration file.
Closes issue #632.
Diffstat (limited to 'pylint/lint.py')
-rw-r--r-- | pylint/lint.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pylint/lint.py b/pylint/lint.py index 698f3e6..b0257a1 100644 --- a/pylint/lint.py +++ b/pylint/lint.py @@ -736,7 +736,6 @@ class PyLinter(config.OptionsManagerMixIn, with _patch_sysmodules(): self._parallel_check(files_or_modules) - def _parallel_task(self, files_or_modules): # Prepare configuration for child linters. filter_options = {'symbols', 'include-ids', 'long-help'} @@ -744,6 +743,9 @@ class PyLinter(config.OptionsManagerMixIn, child_config = {} for opt_providers in six.itervalues(self._all_options): for optname, optdict, val in opt_providers.options_and_values(): + if optdict.get('deprecated'): + continue + if optname not in filter_options: child_config[optname] = utils._format_option_value( optdict, val) |