X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=9b62f74599458dae63659180ef43183125bf5b5f;hb=124b3b4e8f440f8c996263127336377c9456e090;hp=dc0ddf3ad4d60754768635bf088c96d25de30697;hpb=ba65a1b770d860132fbb04be4ca931b983dcb915;p=SXSI%2Fxpathcomp.git diff --git a/build b/build index dc0ddf3..9b62f74 100755 --- a/build +++ b/build @@ -56,7 +56,7 @@ let tests_targets = [] let () = Cmdline.parse () let cmd_list = let ocamlbuild = - Printf.sprintf "ocamlbuild -no-hygiene %s %s -j %i " + Printf.sprintf "ocamlbuild %s %s -j %i " !Cmdline.verbose (String.concat " " !Cmdline.tags) !Cmdline.jobs in List.map begin function