The following commit has been merged in the master branch:
commit 277252608d07749314a996d7d9a88f757b56f5b5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:51:39 2008 +0200
clean C dirts upon clean
diff --git a/Makefile.config.in b/Makefile.config.in
index 698cf95..99bffcd 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -48,7 +48,7 @@ endif
.PHONY: clean depend cmi-install
clean:
- rm -f $(CMOS) $(CMIS) $(CMXS) $(NAME).cma $(NAME).cmxa $(EXTRA_INSTALL)
$(EXTRA_CLEAN) .depend
+ rm -f $(CMOS) $(CMIS) $(CMXS) $(NAME).cma $(NAME).cmxa $(EXTRA_INSTALL)
$(EXTRA_CLEAN) *.o *.a *.so .depend
depend:
@OCAMLDEP@ $(SOURCES) $(MLIS) > .depend
--
dose2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits