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