Move use_pool() to mempool.c and rename to mempool_enabled()
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 9 Oct 2018 13:53:35 +0000 (15:53 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 11 Oct 2018 08:55:41 +0000 (10:55 +0200)
commit7c48ea02800782651b7da373c6165abb052f1382
treeecb4dc81364745c60e819d89fea515c3f922d04f
parent6939fb9eb4c76de630b71f6b2ad98686d7fbd1bf
Move use_pool() to mempool.c and rename to mempool_enabled()

The only user is in hashmap.c, but it's a mempool thing.
src/basic/hashmap.c
src/basic/mempool.c
src/basic/mempool.h