[webkit-reviews] review granted: [Bug 136377] [Gtk] build.sh needs a -- before make options when the build command is cmake --build : [Attachment 238648] Another approach

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 136377: [Gtk] build.sh needs a -- before make options when the build
command is cmake --build
https://bugs.webkit.org/show_bug.cgi?id=136377

Attachment 238648: Another approach
https://bugs.webkit.org/attachment.cgi?id=238648&action=review

------- Additional Comments from Philippe Normand <pnormand at igalia.com>
Nice, thanks!