Re: [PATCH 2/2] [Ada] Set target_cpu to x32 for x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
> > OK, thanks. > > OK for backports? Yes.

Re: [PATCH 2/2] [Ada] Set target_cpu to x32 for x86_64-linux-gnux32

2022-01-19 Thread H.J. Lu via Gcc-patches
On Wed, Jan 19, 2022 at 1:06 AM Arnaud Charlet wrote: > > OK, thanks. OK for backports? Thanks. > > Since the x86_64-linux-gnux32 compiler is actually an x32 compiler, set > > target_cpu to x32 for x86_64-linux-gnux32. > > > > PR ada/103538 > > * gcc-interface/Makefile.in (target_cp

Re: [PATCH 2/2] [Ada] Set target_cpu to x32 for x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
OK, thanks. > Since the x86_64-linux-gnux32 compiler is actually an x32 compiler, set > target_cpu to x32 for x86_64-linux-gnux32. > > PR ada/103538 > * gcc-interface/Makefile.in (target_cpu): Set to x32 for > x86_64-linux-gnux32. > --- > gcc/ada/gcc-interface/Makefile.in | 7 +