]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4re_kernel/server/src/Makefile
update
[l4.git] / l4 / pkg / l4re_kernel / server / src / Makefile
index 37d0d94dbe54d35eea68e7656103998c31fa77a7..3ff38721d2301098689e225155ba11bd067fb5b1 100644 (file)
@@ -20,8 +20,8 @@ DEFINES += -DL4_CXX_NO_EXCEPTION_BACKTRACE
 
 MMAP_BACKEND   :=
 
-REQUIRES_LIBS  := libc_be_minimal_log_io cxx_io cxx_libc_io libc l4re \
-                  l4re-util libsupc++ l4re-main libloader
+REQUIRES_LIBS  := libc_be_minimal_log_io cxx_io cxx_libc_io libc_minimal l4re \
+                  l4re-util libsupc++_minimal libloader libc_minimal_l4re
 
 include $(L4DIR)/mk/prog.mk