libgcc: properly destroy mutexes on VxWorks
authorRasmus Villemoes <rv@rasmusvillemoes.dk>
Tue, 30 Oct 2018 08:33:04 +0000 (09:33 +0100)
committerRasmus Villemoes <villemoes@gcc.gnu.org>
Tue, 30 Oct 2018 08:33:04 +0000 (08:33 +0000)
commitbe7b071e9e99c4958acfa0f9c8dab79cd30d2176
tree075a8292791c3ff502fef97aeace1d1d8e574c58
parent9eeb0b97a6196416821d304816469cbe830d2027
libgcc: properly destroy mutexes on VxWorks

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.

From-SVN: r265616
libgcc/ChangeLog
libgcc/config/gthr-vxworks.h