diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-26 10:46:18 +0000 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-26 10:46:18 +0000 |
| commit | 5e2afbc9ef97035e94b498846cd8b611d82b9f12 (patch) | |
| tree | 09c36aad1fc3720478a8c0c12b54f344dff46a69 | |
| parent | 4de9d2ce086b610ceadb5b37a0c7a09fa7270c8a (diff) | |
| download | pylint-5e2afbc9ef97035e94b498846cd8b611d82b9f12.tar.gz | |
Use a generator comprehension instead of creating a list.
| -rw-r--r-- | pylint/lint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/lint.py b/pylint/lint.py index 950722f..d1e39b2 100644 --- a/pylint/lint.py +++ b/pylint/lint.py @@ -739,7 +739,7 @@ class PyLinter(config.OptionsManagerMixIn, def _get_jobs_config(self): child_config = {} filter_options = {'symbols', 'include-ids', 'long-help'} - filter_options.update([opt_name for opt_name, _ in self._external_opts]) + filter_options.update((opt_name for opt_name, _ in self._external_opts)) for opt_providers in six.itervalues(self._all_options): for optname, optdict, val in opt_providers.options_and_values(): if optdict.get('deprecated'): |