summaryrefslogtreecommitdiff
path: root/pylint/lint.py
diff options
context:
space:
mode:
authorClaudiu Popa <pcmanticore@gmail.com>2015-10-20 19:15:40 +0300
committerClaudiu Popa <pcmanticore@gmail.com>2015-10-20 19:15:40 +0300
commitf6f5d270e7cfadb3dc0a3966c2edf4e322361fac (patch)
treea37ba3877db6ba37ac8c78d0fa48c0df17af60a7 /pylint/lint.py
parent050fc46ebc5d4ddfc50b7553f4af336172431ac5 (diff)
downloadpylint-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.py4
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)