| Index: tools/gdbinit
|
| diff --git a/tools/gdbinit b/tools/gdbinit
|
| index cdf2cd4e222a762c645504a89f2038e1a2fa6287..3d527829bf85b92b62db79a98b7a0b369c2c8bf8 100644
|
| --- a/tools/gdbinit
|
| +++ b/tools/gdbinit
|
| @@ -11,6 +11,15 @@ Print a v8 JavaScript object
|
| Usage: job tagged_ptr
|
| end
|
|
|
| +# Print v8::Local handle value.
|
| +define jlh
|
| +call _v8_internal_Print_Object(*(v8::internal::Object**)(*$arg0))
|
| +end
|
| +document jlh
|
| +Print content of a v8::Local handle
|
| +Usage: jlh local_handle
|
| +end
|
| +
|
| # Print Code objects containing given PC.
|
| define jco
|
| call _v8_internal_Print_Code((void*)($arg0))
|
|
|