diff options
| author | Yichen Yan <oraluben@outlook.com> | 2024-04-23 07:56:00 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-23 07:56:00 (GMT) |
| commit | e17cd1fbfd4f20824c686c7242423e84ba6a6cc5 (patch) | |
| tree | eddfebc23f756a3b4d91e1b16c1c933e43ee9863 /configure | |
| parent | 456c29cf85847c67dfc0fa36d6fe6168569b46fe (diff) | |
| download | cpython-e17cd1fbfd4f20824c686c7242423e84ba6a6cc5.zip cpython-e17cd1fbfd4f20824c686c7242423e84ba6a6cc5.tar.gz cpython-e17cd1fbfd4f20824c686c7242423e84ba6a6cc5.tar.bz2 | |
gh-116984: Install mimalloc headers (#116985)
- Install mimalloc header only when enabled
- Rename WITH_MIMALLOC to INSTALL_MIMALLOC
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -869,7 +869,7 @@ DTRACE_OBJS DTRACE_HEADERS DFLAGS DTRACE -WITH_MIMALLOC +INSTALL_MIMALLOC MIMALLOC_HEADERS GDBM_LIBS GDBM_CFLAGS @@ -17335,6 +17335,7 @@ fi { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: $with_mimalloc" >&5 printf "%s\n" "$with_mimalloc" >&6; } +INSTALL_MIMALLOC=$with_mimalloc |