diff options
author | Andrew Cooper <andrew.cooper3@citrix.com> | 2012-08-01 12:46:50 +0100 |
---|---|---|
committer | Andrew Cooper <andrew.cooper3@citrix.com> | 2012-08-01 12:46:50 +0100 |
commit | 0bd69acf0481e0c7997b0e916345ad53a1be0e42 (patch) | |
tree | e21f30e240a06810481290302be7e9754721ae21 | |
parent | fe074860b5daaa6e0943a92209c999bf476c0ce6 (diff) | |
download | xen-0bd69acf0481e0c7997b0e916345ad53a1be0e42.tar.gz xen-0bd69acf0481e0c7997b0e916345ad53a1be0e42.tar.bz2 xen-0bd69acf0481e0c7997b0e916345ad53a1be0e42.zip |
tools/ocaml: ignore and clean .spot and .spit files
Newer ocaml toolchains generate .spot and .spit files which are ocaml metadata
about their respective source files.
Add them to the clean rules as well as the .{hg,git}ignore files.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | .hgignore | 2 | ||||
-rw-r--r-- | tools/ocaml/Makefile.rules | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0891d903c4..eb33e98d88 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,8 @@ *.bin *.bak *.tmp +*.spot +*.spit TAGS cscope.files cscope.in.out @@ -15,6 +15,8 @@ .*\.flc$ .*\.orig$ .*\.rej$ +.*\.spot$ +.*\.spit$ .*/a\.out$ .*/Modules\.symvers$ .*/cscope\..*$ diff --git a/tools/ocaml/Makefile.rules b/tools/ocaml/Makefile.rules index bbd22e881d..ff19067ccf 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 .*.d *.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 *.spot *.spit $(LIBS) $(PROGRAMS) $(GENERATED_FILES) .ocamldep.make quiet-command = $(if $(V),$1,@printf " %-8s %s\n" "$2" "$3" && $1) |