.gdbinit_python
author Marco Bonardo <mbonardo@mozilla.com>
Wed, 13 Mar 2019 10:20:00 +0000
changeset 521692 7417187bdee40dd267586fc334b52c1e4d2743d0
parent 410946 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1528939. r=Gijs Differential Revision: https://phabricator.services.mozilla.com/D23195

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