projects
/
kconfig-hardened-check.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7e258c6
)
Fix the output: ERROR, not BUG
author
Alexander Popov
<alex.popov@linux.com>
Fri, 20 Jul 2018 16:04:54 +0000
(19:04 +0300)
committer
Alexander Popov
<alex.popov@linux.com>
Fri, 20 Jul 2018 16:04:54 +0000
(19:04 +0300)
kconfig-hardened-check.py
patch
|
blob
|
history
diff --git
a/kconfig-hardened-check.py
b/kconfig-hardened-check.py
index bd6afe51d572ea3af5123ad15eed9069af9f10ea..08755c30055da0326c00b537bd4739870b6cea83 100755
(executable)
--- 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))