Don't do the make silently; we want to see the build commands.

At minimum, this may help debug the build problems with GitHub pull
request #721.

diff --git a/.travis.yml b/.travis.yml
index c4654014910847a5816b887c5d273baa56590bde..d078596d9c84068c3ad2f23f9bcadc3962ffa281 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -75,7 +75,7 @@ script:
   - if [ "$COVERITY_SCAN_BRANCH" != 1 -a "$CMAKE" = yes ]; then cd build; fi
   - if [ "$COVERITY_SCAN_BRANCH" != 1 -a "$CMAKE" = yes ]; then cmake -DCMAKE_INSTALL_PREFIX=/tmp $ENABLE_REMOTE ..; fi
   - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then echo -n travis_fold:end:script.configure; fi
-  - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then make -s all testprogs; fi
+  - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then make all testprogs; fi
   - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then echo '$ make install [...]' && echo -n travis_fold:start:script.make_install; fi
   - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then PATH=$PATH make install; fi
   - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then echo -n travis_fold:end:script.make_install; fi