diff --git a/.travis.yml b/.travis.yml index 6084ff44d435fd2efc4207c29e64729706e6fc33..9e9acf2e7d8ef917a6031a3693327f744684966a 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 504e580bade827b40ebd52baccc2e18676f00d07..e6727690f5008137fd65c6d9329be01c96fb13a1 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