]> matita.cs.unibo.it Git - helm.git/blobdiff - make/main.ml
added support for single target
[helm.git] / make / main.ml
index df20a35f2eefa5aa2eed28252cf10ab6e6fbb2f3..0b9cf949aeddd8d5017ff8bae0d4a1f7f10edd88 100644 (file)
@@ -31,4 +31,4 @@ let deps = [
   ]
 ;;
 
-M.make deps;;
+M.make deps (Array.to_list Sys.argv);;