diff options
-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) |