On 01/02/2018 08:58, Chris Johns wrote: > I will sort this out. Fixed: https://lists.rtems.org/pipermail/vc/2018-January/013695.html Chris