diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-26 05:10:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-26 12:10:10 +0000 |
commit | bda2c87c96bf69e37940bb5ad34222e639f139bb (patch) | |
tree | 0bc80d47a743540f654d2c1d89e88c746afa193a /.github/workflows/docs_upload.yml | |
parent | 03cc4a7e06ce714abfc745c5de6b76b8f33cc882 (diff) |
Fix frequent rebuild of options target (#7450)
The mkoptions.py script only updates its output files if their content would actually change. This avoid a full rebuild on every run, and makes sure that only parts that actually change are rebuild.
Unfortunately this interacts badly with how cmake/make/... do inter-target dependency tracking.
This PR adds a stamp file options.stamp that is always updated by mkoptions.py and used by cmake as main output.
Diffstat (limited to '.github/workflows/docs_upload.yml')
0 files changed, 0 insertions, 0 deletions