From 2b31e5b2d5dac788044d93e1a9cc7fead2623068 Mon Sep 17 00:00:00 2001
From: Florent Castelli <florent.castelli@gmail.com>
Date: Sat, 29 Oct 2016 20:04:51 +0200
Subject: [PATCH] cmake: Don't hide CMake's output

---
 b.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/b.sh b/b.sh
index c1a6844558..2128956eee 100755
--- a/b.sh
+++ b/b.sh
@@ -62,7 +62,7 @@ set -e
 mkdir -p ${BUILD_DIR}
 pushd ${BUILD_DIR}
 
-cmake $CMAKE_ARGS .. | (grep -v "^-- " || true)
+cmake $CMAKE_ARGS ..
 
 make -j4 $MAKE_OPT
 popd