update

[l4.git] / l4 / pkg / dde / ddekit / src / Makefile

diff --git a/l4/pkg/dde/ddekit/src/Makefile b/l4/pkg/dde/ddekit/src/Makefile
index 47f98b7700089818ad824d0a66838412ff3cea98..683d17d2a59f7f6957d364e7051b23e978370879 100644 (file)
--- a/l4/pkg/dde/ddekit/src/Makefile
+++ b/l4/pkg/dde/ddekit/src/Makefile
@@ -22,7 +22,7 @@ SRC_CC = malloc.cc \
                 memory.cc \
                 pci.cc
 
-REQUIRES_LIBS := libio slab
+REQUIRES_LIBS := libio slab l4re_c-util libpthread
 
 PC_FILENAME = ddekit