Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-7653

Generated headers should have a new path

XMLWordPrintableJSON

    • Type: Icon: Improvement Improvement
    • Resolution: Won't Fix
    • Priority: Icon: Minor - P4 Minor - P4
    • None
    • Affects Version/s: None
    • Component/s: Build
    • Labels:
      None
    • Server Development Platform

      I suggest BUILD_DIR/VARIANT/generated/header.h

      The current solution of putting the header in the same path but within BUILD_DIR causes problems when switching between branches that do and don't generate the header. When switching to a branch from before it was generated you have to manually delete the header from the build dir.

            Assignee:
            backlog-server-devplatform [DO NOT ASSIGN] Backlog - Server Development Platform Team (SDP) (Inactive)
            Reporter:
            mathias@mongodb.com Mathias Stearn
            Votes:
            0 Vote for this issue
            Watchers:
            9 Start watching this issue

              Created:
              Updated:
              Resolved: