On Thu, Nov 14, 2013 at 3:51 AM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Here is a patch. OK to install? > > Yes, thanks. > > -- > Eric Botcazou
It doesn't work: ERROR: gnat.dg/specs/addr1.ads: syntax error in target selector "xfail mips*-*-* { { i?86-*-* x86_64-*-* } && x32 }" for " dg-bogus 24 "(alignment|erroneous)" "" { xfail mips*-*-* { { i?86-*-* x86_64-*-* } && x32 } } " I couldn't find a way to make it to xfail for mips or x32. I reverted it. -- H.J.