Improve flags.py to accept more delimiters

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Fixed
    • Priority: Minor - P4
    • WT12.0.0, 8.3.0-rc0
    • Affects Version/s: None
    • Component/s: Tools
    • Storage Engines - Foundations, Storage Engines - Persistence
    • SE Persistence - 2026-02-27
    • None

      In WT-15839, we fixed a bug where flags.py was not parsing a section because the delimiters were not following the convention.
      We should improve flags.py to accept more delimiters, i.e "AUTOMATIC.*GENERATION START"

            Assignee:
            Dylan Liang
            Reporter:
            Etienne Petrel
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: