From dbbe0f02c07b7e60d2682cf979efa7f0ae474978 Mon Sep 17 00:00:00 2001 From: Alexander Popov Date: Fri, 20 Jul 2018 19:04:54 +0300 Subject: [PATCH] Fix the output: ERROR, not BUG --- kconfig-hardened-check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) -- 2.31.1