Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: b74c6193c14d1e9b6c773a524e8a49c0667d9571
https://github.com/WebKit/WebKit/commit/b74c6193c14d1e9b6c773a524e8a49c0667d9571
Author: Nikolas Zimmermann <[email protected]>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M Tools/Scripts/webkitdirs.pm
Log Message:
-----------
[GTK][WPE] Regenerate CMake cache when .wkdev-sdk-version changes
https://bugs.webkit.org/show_bug.cgi?id=317782
Reviewed by Adrian Perez de Castro.
A new wkdev-sdk image can ship a different toolchain and dependencies,
which can influence the generated CMake cache. Invalidate the cache in
shouldRemoveCMakeCache() when .wkdev-sdk-version is newer than
CMakeCache.txt, mirroring the existing mtime-based check for *.cmake
files under Source/cmake.
* Tools/Scripts/webkitdirs.pm:
(shouldRemoveCMakeCache):
Canonical link: https://commits.webkit.org/315809@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
