From 266aa3e0afe4083b545c322fbf22274d02efb8ed Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Keck <jean-baptiste.keck@imag.fr>
Date: Fri, 6 Oct 2017 19:36:56 +0200
Subject: [PATCH] disabled verbose builds
---
ci/scripts/config.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ci/scripts/config.sh b/ci/scripts/config.sh
index 9f35dfa43..c85dd0c95 100644
--- a/ci/scripts/config.sh
+++ b/ci/scripts/config.sh
@@ -22,7 +22,7 @@ INSTALL_DIR="$2"
mkdir -p $BUILD_DIR
cd $BUILD_DIR
-CC="$3" CXX="$4" FC="$5" cmake -DCMAKE_BUILD_TYPE=Release -DHYSOP_INSTALL=$INSTALL_DIR $ROOT_DIR
+CC="$3" CXX="$4" FC="$5" cmake -DCMAKE_BUILD_TYPE=Release -DVERBOSE=OFF -DHYSOP_INSTALL=$INSTALL_DIR $ROOT_DIR
if [ ! -f Makefile ]; then
echo "The makefile has not been generated."
--
GitLab