diff options
| author | Bernard Xiong <[email protected]> | 2018-12-28 15:58:21 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-12-28 15:58:21 +0800 |
| commit | 7af02126af4404e76e65220f50802649bb901cd8 (patch) | |
| tree | 832e9a785b1f49e678f8ad7be5743206f05b59bd | |
| parent | 95b97884e4703d258cacb9a23e22b938a684d2e5 (diff) | |
| parent | 46544721b0607cd2329bde9f3378eec67d64134e (diff) | |
Merge pull request #2133 from zhaojuntao/fix-tools
[tools] menuconfig.py silent 模式的时候，不检查 .config 文件时间戳变化，直接更新 rtconfig.h
| -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) |