[SERVER-83019] Move sanitizer and debug variants to separate files Created: 09/Nov/23 Updated: 22/Dec/23 Resolved: 11/Dec/23 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | 7.3.0-rc0 |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | Mikhail Shchatko | Assignee: | Mikhail Shchatko |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Backwards Compatibility: | Fully Compatible |
| Participants: |
| Comments |
| Comment by Githook User [ 11/Dec/23 ] |
|
Author: {'name': 'Mikhail Shchatko', 'email': 'mikhail.shchatko@mongodb.com', 'username': 'MikhailShchatko'}Message: GitOrigin-RevId: ee71fd1b2be0c91296f6a3822ef998627f38d83d |
| Comment by Mikhail Shchatko [ 07/Dec/23 ] |
|
Repurposing this ticket for all sanitizers and debug variants and |
| Comment by Alex Neben [ 01/Dec/23 ] |
|
We spoke about this during a meeting and this is fine with us. Our goal is to make these files readable and this is a good suggestion. If we end up having a significant number of instrumented variants then we might want to break them down further. |
| Comment by Mikhail Shchatko [ 30/Nov/23 ] |
|
max.hirschhorn@mongodb.com sounds good to me, but what is "additional instrumentation" in this case? Is it just all sanitizers and debug builds? Does anything else fall under this category? alex.neben@mongodb.com could you also share your opinion? |
| Comment by Max Hirschhorn [ 09/Nov/23 ] |
|
Would we consider moving all of the sanitizer ( |