libgomp: Allow overriding via 'GOMP_OFFLOAD_PLUGINS' the configured set of libgomp plugins

[Thomas Schwinge]

Hi!

Is the attached patch for "libgomp: Allow overriding via
'GOMP_OFFLOAD_PLUGINS' the configured set of libgomp plugins" OK for
master and release branches?  If approving this patch, please respond
with "Reviewed-by: NAME <EMAIL>" so that your effort will be recorded in
the commit log, see <https://gcc.gnu.org/wiki/Reviewed-by>.


Grüße
 Thomas


-----------------
Mentor Graphics (Deutschland) GmbH, Arnulfstraße 201, 80634 München / Germany
Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Alexander Walter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-libgomp-Allow-overriding-via-GOMP_OFFLOAD_PLUGINS-th.patch
Type: text/x-diff
Size: 1478 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20200427/f1e5f839/attachment.bin>