Add .gitignore file for git.

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

diff --git a/ps/.depend b/ps/.depend
index c806943..b916783 100644 (file)
--- a/ps/.depend
+++ b/ps/.depend
@@ -1,4 +1,4 @@
 virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
-    ../lib/virt_mem_mmap.cmi ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi 
+    ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi ../lib/kernel.cmi 
 virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
-    ../lib/virt_mem_mmap.cmx ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx 
+    ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx ../lib/kernel.cmx