From c71118bbf953d3daf5622f65273d78d6cd7e9799 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 28 Sep 2017 18:54:44 +0200
Subject: [PATCH] Make travis log less noisy

---
 .travis.yml     | 3 ++-
 .travis/pushdoc | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 6084ff44d..9e9acf2e7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -179,7 +179,8 @@ script:
 
 # TEST:
   - if test "$VALGRIND" == yes ; then OPT=valgrind ; else OPT="" ; fi
-  - if test "$PLUMED_CXX" || test -n "$PLUMED_MACPORTS" ; then make -C regtest $OPT ; fi
+# --no-print-directory make it more silent
+  - if test "$PLUMED_CXX" || test -n "$PLUMED_MACPORTS" ; then make --no-print-directory -C regtest $OPT ; fi
 
 # test with gcc6
   - if test "$PLUMED_DOCKER" = yes ; then docker run -v "$PWD/regtest":/home/plumed/regtest -it plumed /bin/bash -c "make -C regtest" ; fi
diff --git a/.travis/pushdoc b/.travis/pushdoc
index 504e580ba..e6727690f 100755
--- a/.travis/pushdoc
+++ b/.travis/pushdoc
@@ -99,6 +99,7 @@ set -x
 esac
 
 git add --all .
-git commit -m "Update to plumed/plumed2@$hash"
+# >/dev/null to avoid excessive noise on travis log
+git commit -m "Update to plumed/plumed2@$hash" >/dev/null
 # -q and 2> is not to show the GIT_TOKEN on Travis log
 git push -q -f doc gh-pages 2> /dev/null 
-- 
GitLab