Details
-
Improvement
-
Status: Closed
-
Major - P3
-
Resolution: Duplicate
-
None
-
None
-
None
-
None
-
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
-