diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-10-09 15:53:35 +0200 |
---|---|---|
committer | Sven Eden <sven.eden@prydeworx.com> | 2018-10-29 10:18:30 +0100 |
commit | 8d3622f93953c254087065d070be96b8b53dff17 (patch) | |
tree | b76ee3a0328777b9b63177a7bcdcd0a884fc6ae0 /src/basic/env-util.h | |
parent | 173086cc5537900ea2ec72c80146eaf80458c0fc (diff) |
Move use_pool() to mempool.c and rename to mempool_enabled()
The only user is in hashmap.c, but it's a mempool thing.
(cherry picked from commit 7c48ea02800782651b7da373c6165abb052f1382)
Diffstat (limited to 'src/basic/env-util.h')
-rw-r--r-- | src/basic/env-util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/basic/env-util.h b/src/basic/env-util.h index da76e60ca..486056a10 100644 --- a/src/basic/env-util.h +++ b/src/basic/env-util.h @@ -4,6 +4,7 @@ #include <stdbool.h> #include <stddef.h> #include <stdio.h> +//#include <string.h> #include "macro.h" |