Hi Rasmus, > On 29 Oct 2018, at 14:32, Rasmus Villemoes <r...@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.
