[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. bc1ee7113a9cb18ee02b9572e7cf7ab06956a1bf

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 503815394857d86a91eea8d90037fbe32eba5954
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Aug 7 18:40:54 2008 -0300

    cleanup extra .cmi upon clean

diff --git a/dql/Makefile b/dql/Makefile
index 13a4dd1..e2fc5a2 100644
--- a/dql/Makefile
+++ b/dql/Makefile
@@ -29,7 +29,7 @@ lexic.cmo: syntax.cmi lexic.cmi
 lexic.cmx: syntax.cmx lexic.cmi
 
 CMOS=	$(SOURCES:%.ml=%.cmo)
-CMIS=	$(MLIS:%.mli=%.cmi)
+CMIS=	$(MLIS:%.mli=%.cmi) query.cmi
 CMXS=	$(SOURCES:%.ml=%.cmx)
 OBJS=	$(C_SOURCES:%.c=%.o)
 

-- 
pkglab packaging