.gdbinit_python
author Mike Hommey <mh+mozilla@glandium.org>
Fri, 16 Nov 2018 01:15:58 +0000
changeset 446944 fd205107b0f4beac469995f809b7c77d6bddde0a
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1502457 - Move js_option around to make it available earlier. r=nalexander Depends on D11984 Differential Revision: https://phabricator.services.mozilla.com/D11985

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