cmdline.cmi:
-cmdline.cmo: utils.cmi cmdline.cmi
-cmdline.cmx: utils.cmx cmdline.cmi
+cmdline.cmo: utils.cmi config.cmi cmdline.cmi
+cmdline.cmx: utils.cmx config.cmx cmdline.cmi
config.cmi:
config.cmo: config.cmi
config.cmx: config.cmi
filetree.cmi: slave.cmi
filetree.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi deviceSet.cmi filetree.cmi
filetree.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmx deviceSet.cmx filetree.cmi
-filetree_ops.cmi: filetree_type.cmi
-filetree_ops.cmo: utils.cmi filetree_type.cmi filetree_ops.cmi
-filetree_ops.cmx: utils.cmx filetree_type.cmx filetree_ops.cmi
+filetree_ops.cmi: slave.cmi filetree_type.cmi
+filetree_ops.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi
+filetree_ops.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmi
filetree_type.cmi: slave.cmi
filetree_type.cmo: utils.cmi slave.cmi filetree_type.cmi
filetree_type.cmx: utils.cmx slave.cmx filetree_type.cmi