SERVER-114223 add third party "mongo-like" header to auto_header exclude list (#44252)

GitOrigin-RevId: ed72c09a5bbf1a70a44aeaaac4cae833dc56ee1d
This commit is contained in:
Daniel Moody 2025-11-20 15:25:08 -06:00 committed by MongoDB Bot
parent 4b2623e0a4
commit 68f648e031
1 changed files with 3 additions and 2 deletions

View File

@ -36,7 +36,7 @@ PROTO_GEN_SUFFIXES = (".grpc.pb.h", ".pb.h") # order matters only for readabili
SRC_ROOT_POSIX = SRC_ROOT.as_posix() SRC_ROOT_POSIX = SRC_ROOT.as_posix()
AUTO_HEADER_PREFIX = f"//{SRC_ROOT_POSIX}/" AUTO_HEADER_PREFIX = f"//{SRC_ROOT_POSIX}/"
VERSION_SALT = "autoheader-v6" # bump to force regen VERSION_SALT = "autoheader-v7" # bump to force regen
MANIFEST_PATH = SRC_ROOT / AUTO_DIR / "last_run.json" MANIFEST_PATH = SRC_ROOT / AUTO_DIR / "last_run.json"
# -------- single-pass file lister (cache) -------- # -------- single-pass file lister (cache) --------
@ -51,7 +51,8 @@ GEN_HEADER_REMAP = {
EXCLUDE_HEADERS = { EXCLUDE_HEADERS = {
"mongo/platform/windows_basic.h", # forced via command line; dont depend on it "mongo/platform/windows_basic.h", # forced via command line; dont depend on it
"mongo/scripting/mozjs/freeOpToJSContext.h", # wierd mongo include that lives in 3rd party "mongo/scripting/mozjs/freeOpToJSContext.h", # weird mongo include that lives in 3rd party
"mongo/scripting/mozjs/mongoErrorReportToString.h", # weird mongo include that lives in 3rd party
} }
# Generated *_cpp (or *_gen) left files that we want to emit regardless of rg. # Generated *_cpp (or *_gen) left files that we want to emit regardless of rg.