diff --git a/ci/scripts/config.sh b/ci/scripts/config.sh
index 9f35dfa43e80090403a02e2b2f03093d93e849f2..c85dd0c952a29468d41940b54f8d008c55b12e3f 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."