.gdbinit_python
author David Major <dmajor@mozilla.com>
Fri, 18 Jan 2019 21:28:18 -0500
changeset 511697 030a5f34fa318505c9daa0f0b99d8ebc8ab206a3
parent 410946 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 542563 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1520647: Add a comment explaining why fdlibm sources can't be unified. DONTBUILD

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