update

[l4.git] / l4 / pkg / plr / ex / Makefile

diff --git a/l4/pkg/plr/ex/Makefile b/l4/pkg/plr/ex/Makefile
index 91605ce018e17eae68e44d2c2dcdd7e409c1a85f..907abdde8dde1fe328f54a2f3b96a042abfc4aa7 100644 (file)
--- a/l4/pkg/plr/ex/Makefile
+++ b/l4/pkg/plr/ex/Makefile
@@ -1,6 +1,6 @@
 PKGDIR ?= ..
 L4DIR  ?= $(PKGDIR)/../..
 
-TARGET = serial_client trap+emulate dataspaces
+TARGET = serial_client trap+emulate dataspaces pthread_hello pthread_mutex
 
 include $(L4DIR)/mk/subdir.mk