Comments - CLOCK_THREAD_CPUTIME_ID undeclared
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
I would report a bug to the developers.
See Reporting Bugs for instructions (or just go to https://bugs.launchpad.net/maria , click on "report a bug" and follow the prompts).