Clean up mutexes on shutdown.

Change-Id: Ib961f954280c27f8858c4d6fb9010cc833bb28d2
5 files changed
tree: cb55a919ba3fc9f5ee0e8f70cf22235bd6161532
  1. build/
  2. src/
  3. tools/
  4. Android.mk