On Jun 11, 2014, at 17:49 , Olivier Hainque <hain...@adacore.com> wrote:
> * config/vxworks.h (VXWORKS_LIBGCC_SPEC): Don't link shared RTPs with > libc_internal. Oops. I think I sent a bogus version of the patch, as the system libc.so embeds libgcc as well. Let me revisit. Olivier
