.gdbinit_python
author Mike Hommey <mh+mozilla@glandium.org>
Mon, 14 Jan 2019 18:41:07 +0000
changeset 513857 2809c756574d28c25d031eecd41779d3392c44d4
parent 413304 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1519603 - Remove the File class in subconfigure.py. r=nalexander The File class is now used only in one place, only for its mtime property, which can be replaced with os.path.getmtime. Depends on D16402 Differential Revision: https://phabricator.services.mozilla.com/D16403

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