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

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