From e2353e937a6b478620b29b9fae4a190b9f2d910c Mon Sep 17 00:00:00 2001
From: Georg Reinke <georg.reinke@rwth-aachen.de>
Date: Thu, 8 Jun 2017 14:05:52 +0200
Subject: [PATCH] add pool functions to libext

---
 lib/Makefile.villas-ext.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Makefile.villas-ext.inc b/lib/Makefile.villas-ext.inc
index 85473535b..1168f2fe2 100644
--- a/lib/Makefile.villas-ext.inc
+++ b/lib/Makefile.villas-ext.inc
@@ -26,7 +26,7 @@ LIBEXT = $(BUILDDIR)/$(LIBEXT_NAME).so.$(LIBEXT_ABI_VERSION)
 
 LIBEXT_SRCS += $(addprefix lib/, sample.c queue.c queue_signalled.c \
                  memory.c log.c shmem.c utils.c kernel/kernel.c list.c \
-                 timing.c \
+                 timing.c pool.c \
                )
 
 LIBEXT_LDFLAGS = -shared