Re: [gomp4] Use GOMP_PLUGIN_ not gomp_plugin_ for libgomp plugin API

2014-10-20 Thread Thomas Schwinge
Hi Julian! On Fri, 17 Oct 2014 16:48:26 +0100, Julian Brown wrote: > As the title says, this patch makes the libgomp plugin API use the > GOMP_PLUGIN_ prefix rather than gomp_plugin_. This is purely a > mechanical change. > > OK for the gomp4 branch? Yes, thanks. > libgomp/ > * libgom

[gomp4] Use GOMP_PLUGIN_ not gomp_plugin_ for libgomp plugin API

2014-10-17 Thread Julian Brown
Hi, As the title says, this patch makes the libgomp plugin API use the GOMP_PLUGIN_ prefix rather than gomp_plugin_. This is purely a mechanical change. OK for the gomp4 branch? Thanks, Julian ChangeLog libgomp/ * libgomp-plugin.c (gomp_plugin_*): Rename to... (GOMP_PLUGIN_*): Thi