[SERVER-32479] Make libdeps library names unique Created: 28/Dec/17 Updated: 30/Oct/23 Resolved: 02/Jan/18 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Build |
| Affects Version/s: | None |
| Fix Version/s: | 3.7.1 |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | Andrew Morrow (Inactive) | Assignee: | Andrew Morrow (Inactive) |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||||||
| Backwards Compatibility: | Fully Compatible | ||||||||
| Sprint: | Platforms 2018-01-15 | ||||||||
| Participants: | |||||||||
| Description |
|
We currently have several libraries that have the same filename. They don't collide in a meaningful sense right now, but if we ever needed to install those libraries to a common library location, they would. We should rename the libraries to have unique filenames. |
| Comments |
| Comment by Githook User [ 29/Dec/17 ] |
|
Author: {'name': 'Andrew Morrow', 'username': 'acmorrow', 'email': 'acm@mongodb.com'}Message: |
| Comment by Githook User [ 29/Dec/17 ] |
|
Author: {'name': 'Andrew Morrow', 'username': 'acmorrow', 'email': 'acm@mongodb.com'}Message: |