X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=35cc89a980297083acab817142302a3160c71d88;hb=823e05eb9a6629e6dc89aac333af8724dc37139a;hp=dc0ddf3ad4d60754768635bf088c96d25de30697;hpb=ba65a1b770d860132fbb04be4ca931b983dcb915;p=SXSI%2Fxpathcomp.git

diff --git a/build b/build
index dc0ddf3..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 -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