we probably need some #if def to identify if we are dealing with mysql or mariadb and include the correct file.

(0000219)
AdamW (reporter)2018-02-19 21:40

There's actually a whole complex story going on here with different sets of headers and stuff. I kinda forgot some of the details since I filed the bug, but I *think* that's probably a bit too simple-minded of a fix. I think https://jira.mariadb.org/browse/MDEV-13370 [^] is a good entry point. I've sort of lost track of what all eventually got changed upstream in response to that ticket now.