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

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #62603|0                           |1
        is obsolete|                            |

--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> ---
Created attachment 62616
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62616&action=edit
Submitted patch for this PR

The previous patch failed the moment that other PDT instances were added.

This one seems to do the job :-)

Paul

Reply via email to