update

[l4.git] / l4 / pkg / mag / include / Makefile

diff --git a/l4/pkg/mag/include/Makefile b/l4/pkg/mag/include/Makefile
index d618bf2e011205f592a18e867f6eb48bfd39763a..57eb21086cc6f608f47f37a5cd1d49f61bbaa623 100644 (file)
--- a/l4/pkg/mag/include/Makefile
+++ b/l4/pkg/mag/include/Makefile
@@ -4,8 +4,10 @@ L4DIR  ?= $(PKGDIR)/../..
 EXTRA_TARGET := \
   server/factory \
   server/lua \
+  server/menu \
   server/mode \
   server/plugin \
+  server/session \
   server/user_state \
   server/view \
   server/view_stack \