[xen master] tools/ocaml: Default to useful build output

[patchbot@xxxxxxx]

commit f3885e8c3ceaef101e466466e879e97103ecce18
Author:     Elliott Mitchell <ehem+xen@xxxxxxx>
AuthorDate: Fri Jul 17 20:32:42 2020 -0700
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Tue Jul 21 14:49:36 2020 +0000

    tools/ocaml: Default to useful build output
    
    While hiding details of build output looks pretty to some, defaulting to
    doing so deviates from the rest of Xen.  Switch the OCAML tools to match
    everything else.
    
    Signed-off-by: Elliott Mitchell <ehem+xen@xxxxxxx>
    Acked-by: Christian Lindig <christian.lindig@xxxxxxxxxx>
---
 tools/ocaml/Makefile.rules | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/tools/ocaml/Makefile.rules b/tools/ocaml/Makefile.rules
index a893c42b43..abfbc64ce0 100644
--- a/tools/ocaml/Makefile.rules
+++ b/tools/ocaml/Makefile.rules
@@ -1,17 +1,20 @@
 ifdef V
-  ifeq ("$(origin V)", "command line")
-    BUILD_VERBOSE = $(V)
-  endif
+       ifeq ("$(origin V)", "command line")
+               BUILD_VERBOSE = $(V)
+       endif
+else
+       V := 1
+       BUILD_VERBOSE := 1
 endif
 ifndef BUILD_VERBOSE
-  BUILD_VERBOSE = 0
+       BUILD_VERBOSE := 0
 endif
 ifeq ($(BUILD_VERBOSE),1)
-  E = @true
-  Q =
+       E := @true
+       Q :=
 else
-  E = @echo
-  Q = @
+       E := @echo
+       Q := @
 endif
 
 .NOTPARALLEL:
--
generated by git-patchbot for /home/xen/git/xen.git#master