X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=make%2Fmain.ml;h=0b9cf949aeddd8d5017ff8bae0d4a1f7f10edd88;hb=209184c83f7d290ceb43605598e09074b57d36f4;hp=df20a35f2eefa5aa2eed28252cf10ab6e6fbb2f3;hpb=8e0de4b1a47c3fe6a665eff743f819d20d7c3af8;p=helm.git

diff --git a/make/main.ml b/make/main.ml
index df20a35f2..0b9cf949a 100644
--- a/make/main.ml
+++ b/make/main.ml
@@ -31,4 +31,4 @@ let deps = [
   ]
 ;;
 
-M.make deps;;
+M.make deps (Array.to_list Sys.argv);;