[PATCH] libgcc: properly destroy mutexes on VxWorks

[Olivier Hainque]

Hi Rasmus,

> On 29 Oct 2018, at 14:32, Rasmus Villemoes <rv@rasmusvillemoes.dk> wrote:
> 
> Just as one needs run-time initialization of mutexes, one needs to
> destroy them properly to allow the OS to release resources associated
> with the semaphore.
> 
> ==changelog==
> 
> 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.