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/utils.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/utils.py')
| -rw-r--r-- | pylint/utils.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pylint/utils.py b/pylint/utils.py index e34e8e8..2f8de80 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -997,7 +997,8 @@ def deprecated_option(shortname=None, opt_type=None, help_msg=None): 'hide': True, 'type': opt_type, 'action': 'callback', - 'callback': _warn_deprecated + 'callback': _warn_deprecated, + 'deprecated': True } if shortname: option['shortname'] = shortname |