On 3/5/20 11:36 PM, Bernhard Voelker wrote:
>> s/emits/shall not emit/
> P.S. Also the check for $host_triplet containing 'linux' in test is:
> a) no longer needed, ...

Thanks for catching those; I installed the attached further patch.