From f2ba089b8950c419d937ab1cea64d88e906cb7f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Klinkovsk=C3=BD?= <klinkjak@fjfi.cvut.cz>
Date: Wed, 3 Oct 2018 13:18:36 +0200
Subject: [PATCH] Fixed verbose flag for ninja
---
build | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/build b/build
index 3e2983dcee..0f6723d604 100755
--- a/build
+++ b/build
@@ -223,6 +223,11 @@ else
make_target="all"
fi
+# make expects VERBOSE=1, ninja expects -v
+if [[ "$make" != "make" ]] && [[ "$VERBOSE" ]]; then
+ VERBOSE="-v"
+fi
+
$make ${VERBOSE} $make_target
if [[ ${WITH_TESTS} == "yes" ]]; then
--
GitLab