diff options
Diffstat (limited to 'travis-ci')
| -rwxr-xr-x | travis-ci/managers/fedora.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/travis-ci/managers/fedora.sh b/travis-ci/managers/fedora.sh index 644d1d2f0..d1ea920a1 100755 --- a/travis-ci/managers/fedora.sh +++ b/travis-ci/managers/fedora.sh @@ -9,7 +9,7 @@ # export CONT_NAME="my-fancy-container" # travis-ci/managers/fedora.sh SETUP RUN CLEANUP -PHASES=(${@:-SETUP RUN CLEANUP}) +PHASES=(${@:-SETUP RUN RUN_ASAN CLEANUP}) FEDORA_RELEASE="${FEDORA_RELEASE:-rawhide}" CONT_NAME="${CONT_NAME:-fedora-$FEDORA_RELEASE-$RANDOM}" DOCKER_EXEC="${DOCKER_EXEC:-docker exec -it $CONT_NAME}" @@ -48,7 +48,8 @@ for phase in "${PHASES[@]}"; do $DOCKER_EXEC meson -Dslow-tests=true build $DOCKER_EXEC ninja -v -C build $DOCKER_EXEC ninja -C build test - + ;; + RUN_ASAN) $DOCKER_EXEC git clean -dxff $DOCKER_EXEC meson -Db_sanitize=address build $DOCKER_EXEC ninja -v -C build |