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 /README.rst | |
| 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 'README.rst')
| -rw-r--r-- | README.rst | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -149,6 +149,11 @@ Getting started ``config.h``. Normally, ``genconfig`` would be run automatically as part of the build. + + Before writing a header file or other configuration output, Kconfiglib + compares the old contents of the file against the new contents. If there's + no change, the write is skipped. This avoids updating file metadata like the + modification time, and might save work depending on your build setup. Adding new configuration output formats should be relatively straightforward. See the implementation of ``write_config()`` in `kconfiglib.py |
