.gdbinit_python
author Jan de Mooij <jdemooij@mozilla.com>
Fri, 25 May 2018 11:12:03 +0200
changeset 419850 12a249851bed14747c7e49f7edabccdf4827fb8e
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 482060 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1461938 part 36 - Rename ObjectGroupCompartment to ObjectGroupRealm and move to JS::Realm. r=luke

python
import sys
sys.path.append('third_party/python/gdbpp/')
import gdbpp
end