mirror of
https://github.com/MariaDB/server.git
synced 2025-11-28 17:36:30 +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.
1.5 KiB
1.5 KiB