diff options
| author | Andrew Morrow <acm@mongodb.com> | 2018-12-14 19:52:41 -0500 |
|---|---|---|
| committer | Andrew Morrow <acm@mongodb.com> | 2019-01-30 21:10:29 -0500 |
| commit | a285618a35742923e9e21fa2df4434406b121a4e (patch) | |
| tree | 310d5610441d3b1e16941c23853b3f2bb9c638ff /buildscripts/gdb | |
| parent | c065df4a1dae7fe0b73d7a85d13ff2beb47b459d (diff) | |
| download | mongo-a285618a35742923e9e21fa2df4434406b121a4e.tar.gz | |
SERVER-36651 SERVER-36652 SERVER-37600 Upgrade to V3 toolchain and XCode 10 everywhere
Diffstat (limited to 'buildscripts/gdb')
| -rw-r--r-- | buildscripts/gdb/mongo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildscripts/gdb/mongo.py b/buildscripts/gdb/mongo.py index b84f80e00e2..8e31afbc91b 100644 --- a/buildscripts/gdb/mongo.py +++ b/buildscripts/gdb/mongo.py @@ -11,7 +11,7 @@ import gdb try: # Try to find and load the C++ pretty-printer library. import glob - pp = glob.glob("/opt/mongodbtoolchain/v2/share/gcc-*/python/libstdcxx/v6/printers.py") + pp = glob.glob("/opt/mongodbtoolchain/v3/share/gcc-*/python/libstdcxx/v6/printers.py") printers = pp[0] path = os.path.dirname(os.path.dirname(os.path.dirname(printers))) sys.path.insert(0, path) |