X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=build;h=35cc89a980297083acab817142302a3160c71d88;hb=2a7218fd2a985ed57732f9f7b9a0b62f4b2c83df;hp=9b62f74599458dae63659180ef43183125bf5b5f;hpb=63db110485e97e189313abd1a6ce1bedf941d76d;p=SXSI%2Fxpathcomp.git

diff --git a/build b/build
index 9b62f74..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"),