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 /components/libc/compilers | |
| parent | 95b97884e4703d258cacb9a23e22b938a684d2e5 (diff) | |
| parent | 46544721b0607cd2329bde9f3378eec67d64134e (diff) | |
Merge pull request #2133 from zhaojuntao/fix-tools
[tools] menuconfig.py silent 模式的时候，不检查 .config 文件时间戳变化，直接更新 rtconfig.h
Diffstat (limited to 'components/libc/compilers')
0 files changed, 0 insertions, 0 deletions