| Revision: | 8325 |
| Committed: | Wed Feb 28 19:52:33 2018 UTC (8 years, 7 months ago) by michael |
| File size: | 312 byte(s) |
| Log Message: | - The memory pooling allocator can be disabled with the --disable-mempool switch now |
| # | Content |
|---|---|
| 1 | AC_DEFUN([AX_ARG_DISABLE_MEMPOOL],[ |
| 2 | AC_ARG_ENABLE([mempool],[AS_HELP_STRING([--disable-mempool],[Disables the memory pooling allocator.])],[mempool=$enableval],[mempool="yes"]) |
| 3 | |
| 4 | AS_IF([test "$mempool" = "no"], [ |
| 5 | AC_DEFINE([MEMPOOL_DISABLED], 1, [Define to disable the memory pooling allocator.]) |
| 6 | ]) |
| 7 | ]) |