On Mar 15, 2023, at 11:40 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > On Mar 15, 2023, Alexandre Oliva <ol...@adacore.com> wrote: > >> Regstrapped on ppc64-linux-gnu. Also tested (with gcc-12) on multiple >> *-vxworks7r2 targets (arm, aarch64, ppc64, x86, x86_64). Ok to install? > > Further testing revealed a problem in my attempted use of lappend in > aapcs64.exp, in the previous version of the patch. Fixed in this one, > retested on aarch64-vxworks7r2. Ok to install?
Ok.