Updated kerneldb and removed some bad kernels.

[virt-mem.git] / ifconfig / .depend

diff --git a/ifconfig/.depend b/ifconfig/.depend
index fcca15c..6c45907 100644 (file)
--- a/ifconfig/.depend
+++ b/ifconfig/.depend
@@ -1,6 +1,4 @@
 virt_ifconfig.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
-    ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi \
-    ../lib/kernel_task_struct.cmi 
+    ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi ../lib/kernel.cmi 
 virt_ifconfig.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
-    ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx \
-    ../lib/kernel_task_struct.cmx 
+    ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx ../lib/kernel.cmx