summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorMurphyZhao <[email protected]>2018-12-28 14:17:28 +0800
committerMurphyZhao <[email protected]>2018-12-28 14:22:57 +0800
commit46544721b0607cd2329bde9f3378eec67d64134e (patch)
tree832e9a785b1f49e678f8ad7be5743206f05b59bd /tools
parent95b97884e4703d258cacb9a23e22b938a684d2e5 (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.py15
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)