On Dec 8, 2016, at 3:04 AM, Pierre-Marie de Rodat <dero...@adacore.com> wrote: > Thank you for the pre-approval: I’ve just pushed this fix. For the record, > I’ve checked it runs fine on x86_64-linux and x86_64-apple-darwin-16.3.0 and > I’ve checked manually we have the correct number of attributes with a partial > arm-none-abi compiler (i.e. just cc1plus).
Thanks.
