From: Alexander Popov Date: Fri, 20 Jul 2018 16:04:54 +0000 (+0300) Subject: Fix the output: ERROR, not BUG X-Git-Tag: v0.5.2~88^2~7 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=dbbe0f02c07b7e60d2682cf979efa7f0ae474978;p=kconfig-hardened-check.git Fix the output: ERROR, not BUG --- diff --git a/kconfig-hardened-check.py b/kconfig-hardened-check.py index bd6afe5..08755c3 100755 --- a/kconfig-hardened-check.py +++ b/kconfig-hardened-check.py @@ -206,7 +206,7 @@ def check_config_file(fname): elif opt_is_off.match(line): option, value = line[9:].split(' ', 1) if value != 'is not set': - sys.exit('[!] BUG: bad disabled config option "{}"'.format(line)) + sys.exit('[!] ERROR: bad disabled config option "{}"'.format(line)) if option in parsed_options: sys.exit('[!] ERROR: config option "{}" exists multiple times'.format(line))