[Openmp-dev] Declare variant + Nvidia Device Offload

[Simon Moll via Openmp-dev]

Hi Lukas,

On 5/19/20 5:50 PM, Lukas Sommer via Openmp-dev wrote:
>
> If you want, I could create a patch for that, but do you (or anyone else
> on the list) know whether the other offloading targets (AMDGPU, NEC VE,
> ...) are all able to handle the dollar sign in the mangled name, so we
> could make this change unconditionally? I do not have a setup for each
> of these to test.
FYI, that is not an issue for NEC VE (non-alphanumerics, such as '.' or
'%', should also be fine).

Thanks
- Simon