[tools/menuconfig.py] update rt_config.h generation func

This commit is contained in:
SummerGift 2019-10-30 16:25:47 +08:00
parent b734026d5c
commit 9eca8032d0
1 changed files with 17 additions and 6 deletions

View File

@ -30,6 +30,15 @@ import shutil
# make rtconfig.h from .config # 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): def mk_rtconfig(filename):
try: try:
config = open(filename, 'r') config = open(filename, 'r')
@ -46,7 +55,8 @@ def mk_rtconfig(filename):
for line in config: for line in config:
line = line.lstrip(' ').replace('\n', '').replace('\r', '') line = line.lstrip(' ').replace('\n', '').replace('\r', '')
if len(line) == 0: continue if len(line) == 0:
continue
if line[0] == '#': if line[0] == '#':
if len(line) == 1: if len(line) == 1:
@ -57,11 +67,12 @@ def mk_rtconfig(filename):
empty_line = 1 empty_line = 1
continue continue
comment_line = line[1:] if line.startswith('# CONFIG_'):
if line.startswith('# CONFIG_'): line = ' ' + line[9:] line = ' ' + line[9:]
else: line = line[1:] else:
line = line[1:]
rtconfig.write('/*%s */\n' % line) rtconfig.write('/*%s */\n' % line)
empty_line = 0 empty_line = 0
else: else:
empty_line = 0 empty_line = 0
@ -71,7 +82,7 @@ def mk_rtconfig(filename):
setting[0] = setting[0][7:] setting[0] = setting[0][7:]
# remove CONFIG_PKG_XX_PATH or CONFIG_PKG_XX_VER # 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 continue
if setting[1] == 'y': if setting[1] == 'y':