diff options
| author | Lujin Wang <143145775+lujinwangnv@users.noreply.github.com> | 2025-10-10 17:51:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-11 00:51:58 +0000 |
| commit | d0641da8c7f27dfca5b0ae3bc7c737c7859e3939 (patch) | |
| tree | 275a84f0a987e63cad7eba68d0df248044d13a5c /source | |
| parent | fb34bafd37e3509d51686ee2a5392d2d8e29d7c5 (diff) | |
Update build to allow setting external mimalloc path (#8676)
Update the build to allow setting user-specific path for the external
module mimalloc.
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions