On Dec 22, 2020, at 1:47 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > The tests use -mfp16-format=alternative, and so should not be run > if that option isn't supported. > > Regstrapped on x86_64-linux-gnu, and tested with -x-arm-wrs-vxworks7r2. > Ok to install?
Ok.