diff options
Diffstat (limited to 'tests/valgrind-wrapper/qvalgrind')
| -rwxr-xr-x | tests/valgrind-wrapper/qvalgrind | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/valgrind-wrapper/qvalgrind b/tests/valgrind-wrapper/qvalgrind index 679c387b..ad02269e 100755 --- a/tests/valgrind-wrapper/qvalgrind +++ b/tests/valgrind-wrapper/qvalgrind @@ -14,6 +14,8 @@ ret=$? if [[ ${ret} == 234 ]] ; then mv q-valgrind.log q-valgrind.$$.log echo "valgrind log can be found at ${PWD}/q-valgrind.$$.log" > /dev/stderr + # dump complaints in Travis' log, as we cannot retrieve them lateron + [[ -n ${TRAVIS_OS_NAME} ]] && cat q-valgrind.$$.log > /dev/stderr else rm q-valgrind.log fi |