[SERVER-44731] Make definition of generated sources configurable - MongoDB Jira

XML

Word

Printable

JSON

Details

Type: Improvement
Status: Closed
Priority: Major - P3
Resolution: Duplicate
Affects Version/s: None
Fix Version/s: None
Component/s: None
Labels:
None

Assigned Teams:

Server Development Platform

Description

We currently make the assumption that any build with an output that is a header file is a generated source. This assumption should be configurable by users.

Attachments

Issue Links

duplicates

SERVER-64664 ninja tool should not consider install files generated source

Closed

Activity

People

Assignee:: Backlog - Server Development Platform Team (SDP)

Reporter:: Mathew Robinson (Inactive)

Participants:: Backlog - Server Development Platform Team (SDP), Mathew Robinson

Votes:: 0 Vote for this issue

Watchers:: 1 Start watching this issue

Dates

Created:: Nov 19 2019 03:27:38 PM UTC

Updated:: Dec 06 2022 02:41:57 AM UTC

Resolved:: Jul 25 2022 06:57:40 PM UTC