X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=35cc89a980297083acab817142302a3160c71d88;hb=refs%2Fheads%2Ftool-shed;hp=13546376d5a4d426d8bda6d36117d3d4eb3ff942;hpb=ddd48898c9d77270a46fa16b66bb8b291e0859d0;p=SXSI%2Fxpathcomp.git diff --git a/build b/build index 1354637..35cc89a 100755 --- a/build +++ b/build @@ -14,7 +14,7 @@ module Cmdline = let verbose = ref "" let jobs = ref 0 let specs = align - [ "-verbose", Unit (set verbose "-verbose 10 -classic-display"), + [ "-verbose", Unit (set verbose " -classic-display"), " Display compilation commands"; "-debug", Unit (cons tags "-tag debug"), @@ -56,7 +56,7 @@ let tests_targets = [] let () = Cmdline.parse () let cmd_list = let ocamlbuild = - Printf.sprintf "ocamlbuild %s %s -j %i " + Printf.sprintf "ocamlbuild %s %s -j %i " !Cmdline.verbose (String.concat " " !Cmdline.tags) !Cmdline.jobs in List.map begin function