Further code generation ** NOT WORKING **
[virt-mem.git] / lib / Makefile.in
index ed43af2..b452e1b 100644 (file)
@@ -55,13 +55,7 @@ OBJS         = virt_mem_gettext.cmo \
                  virt_mem_mmap.cmo \
                  virt_mem_types.cmo \
                  virt_mem_list_head.cmo \
-                 kernel_task_struct.cmo \
-                 kernel_net_device.cmo \
-                 kernel_net.cmo \
-                 kernel_in_device.cmo \
-                 kernel_in_ifaddr.cmo \
-                 kernel_inet6_dev.cmo \
-                 kernel_inet6_ifaddr.cmo \
+                 kernel.cmo \
                  virt_mem_ksyms.cmo \
                  virt_mem_kallsyms.cmo \
                  virt_mem_utsname.cmo \