.gdbinit_python
author Chris Manchester <cmanchester@mozilla.com>
Fri, 21 Dec 2018 19:02:11 +0000
changeset 512447 3b1c7ad601ba81805e5de271f91c6892e42c2091
parent 413304 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1507344 - Add configure machinery for MOZ_PROFILE_USE and merging profile. r=nalexander Differential Revision: https://phabricator.services.mozilla.com/D13863

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