man_MANS =
-kernel_HDRS = \
- kernel/context.h \
- kernel/context_cmd.h \
- kernel/cvirt.h \
- kernel/cvirt_cmd.h \
- kernel/cvirt_def.h \
- kernel/debug.h \
- kernel/debug_cmd.h \
- kernel/dlimit.h \
- kernel/dlimit_cmd.h \
- kernel/inode.h \
- kernel/inode_cmd.h \
- kernel/legacy.h \
- kernel/limit.h \
- kernel/limit_cmd.h \
- kernel/limit_def.h \
- kernel/namespace.h \
- kernel/namespace_cmd.h \
- kernel/network.h \
- kernel/network_cmd.h \
- kernel/sched.h \
- kernel/sched_cmd.h \
- kernel/sched_def.h \
- kernel/signal_cmd.h \
- kernel/switch.h \
- kernel/xid.h
-
+kernel_HDRS = $(wildcard kernel/*.h)
EXTRA_PROGRAMS =