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

diff --git a/DEVEL/ocaml-http/Makefile b/DEVEL/ocaml-http/Makefile
index 572a7f258..540464f29 100644
--- a/DEVEL/ocaml-http/Makefile
+++ b/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)/