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

Reply via email to