libs/rt-thread-official
libs
/
rt-thread-official
mirror of https://github.com/RT-Thread/rt-thread.git
4
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #3163 from SummerGGift/update_rt_config_gen_func 

[tools/menuconfig.py] update rt_config.h generation func
This commit is contained in:
Bernard Xiong 2019-10-30 17:12:46 +08:00 committed by GitHub
parent 43a46ee716 9eca8032d0
commit 186d7cff06
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
tools/menuconfig.py
View File

@ -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':