[webkit-reviews] review granted: [Bug 73216] [GTK] Add a method to detect 'make dist' errors without running 'make dist' : [Attachment 116783] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Martin Robinson
<mrobinson at webkit.org>'s request for review:
Bug 73216: [GTK] Add a method to detect 'make dist' errors without running
'make dist'
https://bugs.webkit.org/show_bug.cgi?id=73216

Attachment 116783: Patch
https://bugs.webkit.org/attachment.cgi?id=116783&action=review

------- Additional Comments from Philippe Normand <pnormand at igalia.com>
View in context: https://bugs.webkit.org/attachment.cgi?id=116783&action=review


Nice. Maybe at some point we can get the bots to run this script?

> Tools/gtk/find-make-dist-errors:59
> +def scan_headers_from_depedency_files():

typo: depedency