tree 268dce08389bad2ccc914be2dc7ec10e8d0b0248
parent f3ada4adb00723a540a77de88a2831313b443190
author Gergely Budai <gbudai76@gmail.com> 1503491038 +0200
committer Andres Amaya Garcia <Andres.AmayaGarcia@arm.com> 1521644515 +0000

Do not define and initialize global mutexes on configurations that do not use them.