X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2FMakefile;h=540464f29320c0ba4fa449b6c8ac5dbf5709701c;hb=fa9d8870aff80b2b3b186539d69701f39a2588f4;hp=b85d0532f8cb983aa504c34eb41d1a1385c2433d;hpb=80ed96c6f886c20ea6659cf285c6785cc32d756b;p=helm.git

diff --git a/DEVEL/ocaml-http/Makefile b/DEVEL/ocaml-http/Makefile
index b85d0532f..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 \