Reduce output in verbose mode.

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