这么修改,是因为虽然 .config 没有变化,但与 rtconfig.h 的配置已经不一致。 Signed-off-by: MurphyZhao <d2014zjt@163.com>
@@ -264,18 +264,7 @@ def pyconfig_silent(RTT_ROOT):
fn = '.config'
- if os.path.isfile(fn):
- mtime = os.path.getmtime(fn)
- else:
- mtime = -1
-
pymenuconfig.main(['--kconfig', 'Kconfig', '--config', '.config', '--silent', 'True'])
- mtime2 = os.path.getmtime(fn)
- mtime2 = -1
- # make rtconfig.h
- if mtime != mtime2:
- mk_rtconfig(fn)
+ # silent mode, force to make rtconfig.h
+ mk_rtconfig(fn)