-
Type: Task
-
Resolution: Unresolved
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
Labels:None
-
Correctness
More complicated, lower priority follow up to https://jira.mongodb.org/browse/SERVER-83480
When we analyze core dumps from older versions in the core analyzer we use the pretty printers from the current version which may or may not work. We should pull the gdbinit script and the files it sources from the specific version so the pretty printers work.