diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-29 07:29:20 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-31 00:08:14 +0200 |
| commit | 175c1f5a363e51a76a7dc1fe807f7c3faf40ab23 (patch) | |
| tree | 32adbe8643337017845827f324213e156bcebb09 /menuconfig.py | |
| parent | 556dcdd252bd312b1da21f84f4775cbbba0dd8c4 (diff) | |
Leave unchanged output files untouched
Before writing a configuration file or header file, compare the old
contents of the file against the new contents. If there's no change,
skip the write, to avoid updating the file modification time.
This might avoid triggering redundant rebuilds depending on how the
build system is set up, and could allow for a simpler setup.
Diffstat (limited to 'menuconfig.py')
0 files changed, 0 insertions, 0 deletions