]>
rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/mag/include/Makefile
EXTRA_TARGET := \
server/factory \
+ server/lua \
server/mode \
server/plugin \
server/user_state \
server/view \
server/view_stack \
server/input_driver \
+ server/input_source \
server/object \