[webkit-dev] [PATCH] JSCore with GDB

[Sanjoy Das]

Hi,

Small hiccup: to work with GDB I need the following declarations in a
source file:

void __attribute__((noinline)) __jit_debug_register_code() { };

JITDescriptor __jit_debug_descriptor = { 1, 0, 0, 0 };

This fails the style checker.  Does it make sense to add the file to
_SKIPPED_FILES_WITH_WARNING?  Is there some better way to fix this?

Thanks!
-- 
Sanjoy Das
http://playingwithpointers.com