mirror of
https://github.com/MariaDB/server.git
synced 2025-12-10 19:44:09 +03:00
allow user-defined EXECINFO_ROOT prefix, in case library and header are not placed under /usr/local . This change was requested by FreeBSD maintainer.