X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=13546376d5a4d426d8bda6d36117d3d4eb3ff942;hb=ddd48898c9d77270a46fa16b66bb8b291e0859d0;hp=dc0ddf3ad4d60754768635bf088c96d25de30697;hpb=813b239795aac1844eb233dab7f8f98d8dba845e;p=SXSI%2Fxpathcomp.git diff --git a/build b/build index dc0ddf3..1354637 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