mirror of
https://github.com/servo/servo
synced 2026-05-11 01:22:19 +02:00
9e0d269353
Skip invoking bindgen if no header changes This can avoid doing bindgen when build script is called for updating other files, e.g. properties. This uses a global modified time, so there is a chance that some of the files which can be skipped but not skipped. But given that we do all three files in parallel, that would unlikely affect the actual runtime. Using lots of `Mutex` could be an issue, but it doesn't seem to be in practice. Since only one thread would hold the lock of `ADDED_PATHS`, there is never a competitor for the lock of `LAST_MODIFIED`. r? @emilio <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14754) <!-- Reviewable:end -->
