[PATCH 07/10] Add dg-require-effective-target exceptions

[Andrew Stubbs]

On 26/11/2018 22:08, Mike Stump wrote:
> On Nov 16, 2018, at 8:28 AM, Andrew Stubbs <ams@codesourcery.com> wrote:
>>
>> [This patch was previously approved by Richard Sandiford (with added
>> documentation I've still not done), but objected to by Mike Stump.  I
>> need to figure out who's right.]
> 
> Since the planned port is done and someone isn't actively finishing this part of it and you'd like to not have to triage these again or otherwise see the failures, Ok.

Thanks, I'll do the documentation when the main part of the port is 
reposted.

Andrew