diff --git a/.travis.yml b/.travis.yml index 501f2152292224e1e14fd209ba19bb3ef626ed94..3ec07e8186bc777152235c4df6bea376390478cb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -39,7 +39,7 @@ script: echo echo git checkout $COMMIT || ERR=$(echo -e "$ERR\nUnable to checkout $(git log -1 --oneline $COMMIT)") - AVOCADO_LOG_DEBUG=yes AVOCADO_RESULTSDIR_CHECK=y SELF_CHECK_CONTINUOUS=y AVOCADO_CHECK_LEVEL=1 make check || ERR=$(echo -e "$ERR\nmake check of $(git log -1 --oneline) failed") + AVOCADO_LOG_DEBUG=yes AVOCADO_RESULTSDIR_CHECK=y SELF_CHECK_CONTINUOUS=y AVOCADO_CHECK_LEVEL=1 AVOCADO_PARALLEL_CHECK=y make check || ERR=$(echo -e "$ERR\nmake check of $(git log -1 --oneline) failed") make clean done if [ "$ERR" ]; then