diff options
| author | Kevin Svetlitski <svetlitski@meta.com> | 2023-05-15 10:39:15 -0700 |
|---|---|---|
| committer | Qi Wang <interwq@gmail.com> | 2023-05-17 13:55:38 -0700 |
| commit | 4e6f1e920814eafb4ca165a861e9c886022b35e3 (patch) | |
| tree | 3f478b57ca801ebeae9bf366a5aef070d0dcd368 | |
| parent | 3e2ba7a6510be583edb316372f8cfff35f2f25d5 (diff) | |
| download | jemalloc-dev.tar.gz | |
This is useful for our internal builds where we override the
configuration in the header files generated by autoconf.
| -rw-r--r-- | include/jemalloc/internal/jemalloc_internal_defs.h.in | 2 | ||||
| -rw-r--r-- | include/jemalloc/internal/jemalloc_internal_overrides.h | 16 |
2 files changed, 18 insertions, 0 deletions
diff --git a/include/jemalloc/internal/jemalloc_internal_defs.h.in b/include/jemalloc/internal/jemalloc_internal_defs.h.in index e61667a6..20355949 100644 --- a/include/jemalloc/internal/jemalloc_internal_defs.h.in +++ b/include/jemalloc/internal/jemalloc_internal_defs.h.in @@ -452,4 +452,6 @@ */ #undef JEMALLOC_HAVE_RDTSCP +#include "jemalloc_internal_overrides.h" + #endif /* JEMALLOC_INTERNAL_DEFS_H_ */ diff --git a/include/jemalloc/internal/jemalloc_internal_overrides.h b/include/jemalloc/internal/jemalloc_internal_overrides.h new file mode 100644 index 00000000..ddd6ee17 --- /dev/null +++ b/include/jemalloc/internal/jemalloc_internal_overrides.h @@ -0,0 +1,16 @@ +#ifndef JEMALLOC_INTERNAL_OVERRIDES_H +#define JEMALLOC_INTERNAL_OVERRIDES_H + +/* + * Under normal circumstances this header serves no purpose, as these settings + * can be customized via the corresponding autoconf options at configure-time. + * Overriding in this fashion is useful when the header files generated by + * autoconf are used as input for another build system. + */ + +#ifdef JEMALLOC_OVERRIDE_LG_PAGE + #undef LG_PAGE + #define LG_PAGE JEMALLOC_OVERRIDE_LG_PAGE +#endif + +#endif /* JEMALLOC_INTERNAL_OVERRIDES_H */ |