[webkit-reviews] review requested: [Bug 209277] [CMake] cache not cleared when build-webkit options change : [Attachment 393963] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has asked  for review:
Bug 209277: [CMake] cache not cleared when build-webkit options change
https://bugs.webkit.org/show_bug.cgi?id=209277

Attachment 393963: Patch

https://bugs.webkit.org/attachment.cgi?id=393963&action=review




--- Comment #1 from Philippe Normand <pnormand at igalia.com> ---
Created attachment 393963

  --> https://bugs.webkit.org/attachment.cgi?id=393963&action=review

Patch