X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2FMakefile;h=540464f29320c0ba4fa449b6c8ac5dbf5709701c;hb=e13cffcb2d9b22f607034b15ec2e3abd47906602;hp=572a7f2584f050b328534219697c338a0c0f1e7b;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/Makefile b/helm/software/DEVEL/ocaml-http/Makefile
index 572a7f258..540464f29 100644
--- a/helm/software/DEVEL/ocaml-http/Makefile
+++ b/helm/software/DEVEL/ocaml-http/Makefile
@@ -1,4 +1,5 @@
 include Makefile.defs
+export SHELL=/bin/bash
 
 MODULES = \
 	http_constants http_types http_parser_sanity http_misc http_common \
@@ -117,8 +118,7 @@ distreal: distdoc distclean depend
 	do	\
 		cp -r $$f $(DISTDIR)/;	\
 	done
-	-find $(DISTDIR)/ -type d -name CVS -exec rm -rf {} \;
-	-find $(DISTDIR)/ -type f -name ".cvs*" -exec rm -f {} \;
+	-find $(DISTDIR)/ -type d -name .svn -exec rm -rf {} \;
 	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
 distrm:
 	rm -rf $(DISTDIR)/