X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=35cc89a980297083acab817142302a3160c71d88;hb=823e05eb9a6629e6dc89aac333af8724dc37139a;hp=ce2a59931d569b7b527bf593dbf2e8194b24ff16;hpb=e4a9d72f66f5fc248afe32ec0340e34c2448623f;p=SXSI%2Fxpathcomp.git diff --git a/build b/build index ce2a599..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 -byte-plugin %s %s -j %i " + Printf.sprintf "ocamlbuild %s %s -j %i " !Cmdline.verbose (String.concat " " !Cmdline.tags) !Cmdline.jobs in List.map begin function