Re: [PATCH] libgcc: properly destroy mutexes on VxWorks

[Olivier Hainque]

> On 29 Oct 2018, at 16:16, Olivier Hainque <hain...@adacore.com> wrote:
> 
> Hi Rasmus,
>> libgcc/
>> 
>>      * config/gthr-vxworks.h (__gthread_mutex_destroy): Call semDelete.
> 
> Looks good at first sight. Let me give it a try
> on an ongoing port.

Ok, thanks!