From 4666f69892f728949082917f6eb95b5e2edb68d2 Mon Sep 17 00:00:00 2001 From: Daniel Chappuis Date: Tue, 10 Apr 2018 23:31:23 +0200 Subject: [PATCH] Edit travis file --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index a353a7ee..7f3ba6fb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -228,7 +228,7 @@ script: - cmake -DCMAKE_BUILD_TYPE=${BUILD_TYPE} —DDOUBLE_PRECISION_ENABLED=${DOUBLE_PRECISION} -DCOMPILE_TESTS=True -DLOGS_ENABLE=${LOGGER} -DPROFILING_ENABLED=${PROFILER} -DCODE_COVERAGE_ENABLED=${CODE_COVERAGE} ../ - make && make test ARGS="-V" - if [ "${VALGRIND}" == "True" ]; then - echo "Test" + echo "Test"; fi after_success: