From 46544721b0607cd2329bde9f3378eec67d64134e Mon Sep 17 00:00:00 2001 From: MurphyZhao Date: Fri, 28 Dec 2018 14:17:28 +0800 Subject: [PATCH] =?UTF-8?q?[tools]=20menuconfig.py=20silent=20=E6=A8=A1?= =?UTF-8?q?=E5=BC=8F=E7=9A=84=E6=97=B6=E5=80=99=EF=BC=8C=E4=B8=8D=E6=A3=80?= =?UTF-8?q?=E6=9F=A5=20.config=20=E6=98=AF=E5=90=A6=E6=9C=89=E5=8F=98?= =?UTF-8?q?=E5=8C=96=EF=BC=8C=E7=9B=B4=E6=8E=A5=E6=9B=B4=E6=96=B0=20rtconf?= =?UTF-8?q?ig.h?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 这么修改，是因为虽然 .config 没有变化，但与 rtconfig.h 的配置已经不一致。 Signed-off-by: MurphyZhao --- tools/menuconfig.py | 15 ++------------- 1 file 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)