diff --git a/src/KConfig b/src/KConfig index 04b154b7a0b58bd651f24ef7f816af34bf1f37a3..1bdd94095da462c5837a8e9cbaea2ca07cd83b9f 100644 --- a/src/KConfig +++ b/src/KConfig @@ -1,4 +1,4 @@ -menu "Real-time Kernel" +menu "RT-Thread Kernel" config RT_NAME_MAX int "The maximal size of kernel object name" diff --git a/tools/mkrtconfig.py b/tools/mkrtconfig.py deleted file mode 100644 index 31d30ff265a36132d4dbfc98d5e9938d3d0351bf..0000000000000000000000000000000000000000 --- a/tools/mkrtconfig.py +++ /dev/null @@ -1,50 +0,0 @@ -import os - -# make rtconfig.h from .config - -def mk_rtconfig(filename): - try: - config = file(filename) - except: - print 'open .config failed' - return - - rtconfig = file('rtconfig.h', 'w') - rtconfig.write('#ifndef RT_CONFIG_H__\n') - rtconfig.write('#define RT_CONFIG_H__\n\n') - - empty_line = 1 - - for line in config: - line = line.lstrip(' ').replace('\n', '').replace('\r', '') - - if len(line) == 0: continue - - if line[0] == '#': - if len(line) == 1: - if empty_line: - continue - - rtconfig.write('\n') - empty_line = 1 - continue - - rtconfig.write('/*%s */\n' % line[1:]) - empty_line = 0 - else: - empty_line = 0 - setting = line.split('=') - if len(setting) >= 2: - if setting[0].startswith('CONFIG_'): - setting[0] = setting[0][7:] - - if setting[1] == 'y': - rtconfig.write('#define %s\n' % setting[0]) - else: - rtconfig.write('#define %s %s\n' % (setting[0], setting[1])) - - rtconfig.write('#endif\n') - rtconfig.close() - -if __name__ == "__main__": - mk_rtconfig('.config')