diff options
| author | Nicholas Zolnierz <nicholas.zolnierz@mongodb.com> | 2023-03-31 19:20:21 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-03-31 21:22:39 +0000 |
| commit | 529116c351786fe997f99ce432c05d1de98cd2db (patch) | |
| tree | 0a2a1feb887aacb9a3413c8fa1fb1066ceac1d56 /.gdbinit | |
| parent | 2dcf180fa810ec81054db8249337255495e41647 (diff) | |
| download | mongo-529116c351786fe997f99ce432c05d1de98cd2db.tar.gz | |
SERVER-72679 Fix ABT gdb pretty printers to not rely on running process
Diffstat (limited to '.gdbinit')
| -rw-r--r-- | .gdbinit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ set python print-stack full source buildscripts/gdb/mongo.py # Load the mongodb pretty printers +source buildscripts/gdb/optimizer_printers.py source buildscripts/gdb/mongo_printers.py # Load the mongodb lock analysis |