The following commit has been merged in the master branch:
commit 274c9f2dd398945ab4903f814ee4141beb11dc3a
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
