diff options
Diffstat (limited to 'travis-ci/managers/debian.sh')
-rwxr-xr-x | travis-ci/managers/debian.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/travis-ci/managers/debian.sh b/travis-ci/managers/debian.sh index 72ffcee439..8a3a0e9c87 100755 --- a/travis-ci/managers/debian.sh +++ b/travis-ci/managers/debian.sh @@ -47,7 +47,6 @@ for phase in "${PHASES[@]}"; do docker exec $ENV_VARS -it $CONT_NAME meson --werror -Dtests=unsafe -Dslow-tests=true -Dsplit-usr=true build $DOCKER_EXEC ninja -v -C build docker exec -e "TRAVIS=$TRAVIS" -it $CONT_NAME ninja -C build test - $DOCKER_EXEC tools/check-directives.sh ;; RUN_ASAN|RUN_CLANG_ASAN) if [[ "$phase" = "RUN_CLANG_ASAN" ]]; then |