diff --git a/.travis.script.bash b/.travis.script.bash index 130529876452fffbadfbb6ebb962a442985c7530..55250abb81126514bec2d38e546c4ee75ee2e5c8 100755 --- a/.travis.script.bash +++ b/.travis.script.bash @@ -10,7 +10,7 @@ # Felix Schindler (2017) # Rene Milk (2016 - 2017) -set -e +set -ex WAIT="${SUPERDIR}/scripts/bash/travis_wait_new.bash 45" source ${SUPERDIR}/scripts/bash/retry_command.bash @@ -22,6 +22,8 @@ ${SRC_DCTRL} ${BLD} --only=${MY_MODULE} make # -> builder will timeout -> manually run refresh_test_timings -> push results ${SRC_DCTRL} ${BLD} --only=${MY_MODULE} bexec ninja -v -j 1 refresh_test_timings +free -h + if [ x"${TESTS}" == x ] ; then ${WAIT} ${SRC_DCTRL} ${BLD} --only=${MY_MODULE} bexec ninja -v test_binaries ${WAIT} ${SRC_DCTRL} ${BLD} --only=${MY_MODULE} bexec ctest -V -j 2