diff options
author | Gianni Tedesco <gianni.tedesco@citrix.com> | 2010-10-28 11:46:20 +0100 |
---|---|---|
committer | Gianni Tedesco <gianni.tedesco@citrix.com> | 2010-10-28 11:46:20 +0100 |
commit | 9de2eedc20b29ae1204ee5f911764b01e62a07d3 (patch) | |
tree | a2891806ece94a44c57dc78e0c79fe7a4e7d12f6 /tools/ocaml/Makefile.rules | |
parent | 7d241c5962ab342d63380750d19a2a7af6d00e3a (diff) | |
download | xen-9de2eedc20b29ae1204ee5f911764b01e62a07d3.tar.gz xen-9de2eedc20b29ae1204ee5f911764b01e62a07d3.tar.bz2 xen-9de2eedc20b29ae1204ee5f911764b01e62a07d3.zip |
ocaml: Makefile: delete dependency files during make clean
Signed-off-by: Gianni Tedesco <gianni.tedesco@citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'tools/ocaml/Makefile.rules')
-rw-r--r-- | tools/ocaml/Makefile.rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocaml/Makefile.rules b/tools/ocaml/Makefile.rules index a4fb7c4868..5394984127 100644 --- a/tools/ocaml/Makefile.rules +++ b/tools/ocaml/Makefile.rules @@ -45,7 +45,7 @@ ALL_OCAML_OBJ_SOURCES=$(addsuffix .ml, $(ALL_OCAML_OBJS)) $(call quiet-command, $(OCAMLDEP) $(ALL_OCAML_OBJ_SOURCES) *.mli $o,MLDEP,) clean: $(CLEAN_HOOKS) - $(Q)rm -f *.o *.so *.a *.cmo *.cmi *.cma *.cmx *.cmxa *.annot $(LIBS) $(PROGRAMS) $(GENERATED_FILES) .ocamldep.make + $(Q)rm -f .*.d *.o *.so *.a *.cmo *.cmi *.cma *.cmx *.cmxa *.annot $(LIBS) $(PROGRAMS) $(GENERATED_FILES) .ocamldep.make quiet-command = $(if $(V),$1,@printf " %-8s %s\n" "$2" "$3" && $1) |