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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
   Target Milestone|---                         |13.0
           Keywords|                            |build

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
+1  GNATMAKE_FOR_BUILD sounds exactly correct

The other option is reverting the offending revision.

Reply via email to