Clean up mutexes on shutdown.

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