diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2016-09-10 10:13:37 +0100 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2016-09-10 10:13:37 +0100 |
| commit | 7de9857420507b192f3628c567c61f4e9b849bed (patch) | |
| tree | 97b350583179fb69e237b0db05f5153b8e9f7cdd /infrastructure/makedistribution.pl.in | |
| parent | 4c34bf6cd51e3ebe5a6ac21cbdae6b90d9def78e (diff) | |
Optimisation: for CMake builds, replace generated files only if changed.
Speeds up local development by avoiding unnecessary rebuilds when files have
not changed.
Diffstat (limited to 'infrastructure/makedistribution.pl.in')
0 files changed, 0 insertions, 0 deletions