Add memory pool library

diff --git a/.gitignore b/.gitignore
index 14e2b6bde9bef55d678da8ba44dc180b039cd3ac..1e64a6a138c3659a369e8e2ecadf9a41cc277d9d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -167,6 +167,7 @@
 /test-genrandom
 /test-index-version
 /test-match-trees
+/test-obj-pool
 /test-parse-options
 /test-path-utils
 /test-run-command