diff options
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) |