On Feb 22, 2023, at 12:04 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > That would change what gets tested with clang, I suppose, but I hope > that's for the better. I wondered what to do at the #else above, and > decided to spell it a little differently. Retested on x86_64-linux-gnu > (trunk) and arm-vxworks7r2 (gcc-12), ok to install?
Ok.