From 3d2e07a51c9dbc0d5752e4a44a47b5a93cadfaac Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 1 Mar 2012 14:24:03 +0100
Subject: [PATCH] Reduce output in verbose mode.

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"),
-- 
2.17.1