Re: [ping] Re: proper name of i386/x86-64/etc targets

[H.J. Lu]

On Tue, Jan 20, 2015 at 10:51 AM, Eric Botcazou <ebotca...@adacore.com> wrote:
>> Ping?  Any thoughts?
>
> x86 for the family and x86-32/x86-64 for the 2 architectures?
>

Works for me.


-- 
H.J.