X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=9b62f74599458dae63659180ef43183125bf5b5f;hb=cfb7bbd84bb70d138b8ed90a237bf7fd3652e740;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