diff options
author | Richard Samuels <richard.l.samuels@gmail.com> | 2020-08-21 11:37:18 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-09-01 15:48:47 +0000 |
commit | 151d886e802c6be829a871c1b02e5a6d4a1d16e1 (patch) | |
tree | fc257f51e4073cba67e6fb76520870e824b45e91 /.udbinit | |
parent | 53036dc51d2477f4f74a8241a6fe6055c038bdcf (diff) | |
download | mongo-151d886e802c6be829a871c1b02e5a6d4a1d16e1.tar.gz |
SERVER-50449 Add gdb helper scripts for UndoDB
Diffstat (limited to '.udbinit')
-rw-r--r-- | .udbinit | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.udbinit b/.udbinit new file mode 100644 index 00000000000..72c8795e3ec --- /dev/null +++ b/.udbinit @@ -0,0 +1 @@ +source buildscripts/gdb/udb.py |