Minor commit regarding #739

This commit is contained in:
Miroslav Stampar
2018-06-19 16:14:44 +02:00
parent 0265b3fcfa
commit 099110bc1f
3 changed files with 4 additions and 3 deletions

View File

@@ -4102,6 +4102,7 @@ def checkDeprecatedOptions(args):
"""
for _ in args:
_ = _.split('=')[0].strip()
if _ in DEPRECATED_OPTIONS:
errMsg = "switch/option '%s' is deprecated" % _
if DEPRECATED_OPTIONS[_]: