summaryrefslogtreecommitdiffstats
path: root/ocaml/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/Makefile.am')
-rw-r--r--ocaml/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocaml/Makefile.am b/ocaml/Makefile.am
index 0f1c3496..fde3853d 100644
--- a/ocaml/Makefile.am
+++ b/ocaml/Makefile.am
@@ -24,7 +24,7 @@ EXTRA_DIST = \
SUBDIRS = examples
CLEANFILES = *~ *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a *.so
-CLEANFILES += t/*~ t/*.cmi t/*.cmo t/*.o t/*.a t/*.so
+CLEANFILES += t/*~ t/*.cmi t/*.cmo t/*.cmx t/*.o t/*.a t/*.so
if HAVE_OCAML