projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69953e2) | patch
tools/ocaml: Default to useful build output
authorElliott Mitchell <ehem+xen@m5p.com>
Sat, 18 Jul 2020 03:32:42 +0000 (20:32 -0700)
committerWei Liu <wl@xen.org>
Tue, 21 Jul 2020 14:49:36 +0000 (14:49 +0000)
commitf3885e8c3ceaef101e466466e879e97103ecce18
treef9c56dfde5bcedc89ad16dae687b0e5344cf3f99tree | snapshot
parent69953e2856382274749b617125cc98ce38198463commit | diff
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@m5p.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/Makefile.rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.