https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121958
--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- (In reply to David Malcolm from comment #5) > The patch doesn't contain documentation for the new option. > > Looks like there's a bug in regenerate-opt-urls.py where it fails to emit a > comment mentioning options with no documentation. That seems to have been the case - It worked when I added the documentation (as I should :-)
