summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernard Xiong <[email protected]>2019-10-30 17:12:46 +0800
committerGitHub <[email protected]>2019-10-30 17:12:46 +0800
commit186d7cff066bc57a02f497b6a47e7d1899739b87 (patch)
tree942288a25f3a6b0a569d854347dacee3adc8f0b5
parent43a46ee716f6b3fc41facfc31ce3027cd390c54c (diff)
parent9eca8032d0e4cc3832e764391ce1bc30476b918d (diff)
Merge pull request #3163 from SummerGGift/update_rt_config_gen_func
[tools/menuconfig.py] update rt_config.h generation func
-rw-r--r--tools/menuconfig.py23
1 files changed, 17 insertions, 6 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py
index 524c5dbd49..b49a2e7120 100644
--- a/tools/menuconfig.py
+++ b/tools/menuconfig.py
@@ -30,6 +30,15 @@ import shutil
# make rtconfig.h from .config
+def is_pkg_special_config(config_str):
+ ''' judge if it's CONFIG_PKG_XX_PATH or CONFIG_PKG_XX_VER'''
+
+ if type(config_str) == type('a'):
+ if config_str.startswith("PKG_") and (config_str.endswith('_PATH') or config_str.endswith('_VER')):
+ return True
+ return False
+
+
def mk_rtconfig(filename):
try:
config = open(filename, 'r')
@@ -46,7 +55,8 @@ def mk_rtconfig(filename):
for line in config:
line = line.lstrip(' ').replace('\n', '').replace('\r', '')
- if len(line) == 0: continue
+ if len(line) == 0:
+ continue
if line[0] == '#':
if len(line) == 1:
@@ -57,11 +67,12 @@ def mk_rtconfig(filename):
empty_line = 1
continue
- comment_line = line[1:]
- if line.startswith('# CONFIG_'): line = ' ' + line[9:]
- else: line = line[1:]
+ if line.startswith('# CONFIG_'):
+ line = ' ' + line[9:]
+ else:
+ line = line[1:]
+ rtconfig.write('/*%s */\n' % line)
- rtconfig.write('/*%s */\n' % line)
empty_line = 0
else:
empty_line = 0
@@ -71,7 +82,7 @@ def mk_rtconfig(filename):
setting[0] = setting[0][7:]
# remove CONFIG_PKG_XX_PATH or CONFIG_PKG_XX_VER
- if type(setting[0]) == type('a') and (setting[0].endswith('_PATH') or setting[0].endswith('_VER')):
+ if is_pkg_special_config(setting[0]):
continue
if setting[1] == 'y':