Re: Provide 64-bit default Solaris/x86 configuration (PR target/39150)

[Eric Botcazou]

> Thanks, I'll give it a try.  I just seemd weird to have MASK_V8PLUS and
> MASK_V9 at the same time.

Yes, that's why the existing comment should also be enhanced.  I'll fix it.

-- 
Eric Botcazou