[Bug other/124784] New: regenerate-opt-urls.py doesn't handle options starting with two dashes

[sandra at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124784

            Bug ID: 124784
           Summary: regenerate-opt-urls.py doesn't handle options starting
                    with two dashes
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sandra at gcc dot gnu.org
  Target Milestone: ---

I noticed that regenerate-opt-urls.py didn't do anything useful for
config/picolibc.opt.  It looks like it has a general problem: it fails to find
the index entries for options starting with two dashes, which are listed with
zero dashes in the option index but one dash in the .opt file.