diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-06-05 13:16:12 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-06-05 16:09:37 +0200 |
| commit | a0f0018496f01f22caf358a56b1d6b91f100af1a (patch) | |
| tree | 1ebeaabb12d353ba1e4149709e642b649fd935af /examples | |
| parent | 1684cfc14b7e569b4e4e6628d9edde1ad67bd7b1 (diff) | |
Turn syncconfig.py into genconfig.py and generate header
There should be a script available that generates the output header for
the build. It usually makes sense to generate both the header and any
incremental build information at the same time (automatically during
build), so roll them both into the same script.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions