]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/examples/sys/vmtest/Makefile
update
[l4.git] / l4 / pkg / examples / sys / vmtest / Makefile
index cf69f231a4450cab3823b83dadfaa490546f0c23..4c8eac0cd9367e5ce63de218082c28bd9d776d4c 100644 (file)
@@ -3,8 +3,7 @@ L4DIR           ?= $(PKGDIR)/../..
 
 TARGET         = ex_vmtest
 SYSTEMS                = x86-l4f
-MODE_USE_C      = y
 SRC_C          = main.c
-REQUIRES_LIBS   = libvcpu
+REQUIRES_LIBS   = libvcpu l4re_c-util
 
 include $(L4DIR)/mk/prog.mk