[webkit-reviews] review requested: [Bug 31575] Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled : [Attachment 43418] an easier way

[bugzilla-daemon at webkit.org]

Mikhail Naganov <mnaganov at chromium.org> has asked  for review:
Bug 31575: Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled
https://bugs.webkit.org/show_bug.cgi?id=31575

Attachment 43418: an easier way
https://bugs.webkit.org/attachment.cgi?id=43418&action=review

------- Additional Comments from Mikhail Naganov <mnaganov at chromium.org>
Thanks, Dimich! That's really an easier way, and it works with Chromium.

Laszlo, can I ask you to test this patch, please? If it works for you, I'll
find someone to review and submit it.