diff options
| author | MurphyZhao <[email protected]> | 2018-12-28 14:17:28 +0800 |
|---|---|---|
| committer | MurphyZhao <[email protected]> | 2018-12-28 14:22:57 +0800 |
| commit | 46544721b0607cd2329bde9f3378eec67d64134e (patch) | |
| tree | 832e9a785b1f49e678f8ad7be5743206f05b59bd /tools | |
| parent | 95b97884e4703d258cacb9a23e22b938a684d2e5 (diff) | |
[tools] menuconfig.py silent 模式的时候,不检查 .config 是否有变化,直接更新 rtconfig.h
这么修改,是因为虽然 .config 没有变化,但与 rtconfig.h 的配置已经不一致。
Signed-off-by: MurphyZhao <[email protected]>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/menuconfig.py | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py index 96846b9ff2..2550424802 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -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']) - if os.path.isfile(fn): - mtime2 = os.path.getmtime(fn) - else: - mtime2 = -1 - - # make rtconfig.h - if mtime != mtime2: - mk_rtconfig(fn) + # silent mode, force to make rtconfig.h + mk_rtconfig(fn) |
