> On Jun 27, 2017, at 15:25 , Ian Lance Taylor <i...@google.com> wrote: > > On Tue, Jun 27, 2017 at 5:17 AM, Olivier Hainque <hain...@adacore.com> wrote: >> >> 2017-06-27 Olivier Hainque <hain...@adacore.com> >> >> libgcc/ >> * config/t-vxworks7: New file. >> * config.host (*-*-vxworks7): Use it. > > This is OK.
Great, thanks for your super prompt feedback Ian!