SERVER-98435 Remove errant space in glob rewite (#34350)

GitOrigin-RevId: 32c98514b9b24584ce66e15577c085eedffa386a
This commit is contained in:
Mathias Stearn
2025-04-01 17:02:14 +02:00
committed by MongoDB Bot
parent ac6a73d310
commit bd4ca61cc3

View File

@@ -69,7 +69,7 @@ with open(parent / "modules.yaml") as f:
for glob in globs:
lines.append(f"/{glob} @10gen/{mod}")
if glob.endswith(".idl"):
lines.append(f"/{glob[:-4]} _gen.* @10gen/{mod}")
lines.append(f"/{glob[:-4]}_gen.* @10gen/{mod}")
# If multiple rules match, later wins. So put rules with more
# specificity later. For all of our current rules, longer means more
# specific.