[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. abc41d28c151a7c649307828452a7424d4f1e202

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 274c9f2dd398945ab4903f814ee4141beb11dc3a
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Wed Apr 16 22:51:24 2008 +0200

    clean *.so files

diff --git a/make/Makefile.common b/make/Makefile.common
index 19ac256..319799e 100644
--- a/make/Makefile.common
+++ b/make/Makefile.common
@@ -39,7 +39,7 @@ uninstall:
 clean:
 	@echo CLN
 	@rm -f *.mld
-	@rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
+	@rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa *.so
 	@rm -f $(EXEC) $(XEXEC)
 	@rm -f *.annot
 	@rm -f doc/*

-- 
dose2 packaging