Philippe Mathieu-Daudé <[email protected]> writes:
> Signed-off-by: Philippe Mathieu-Daudé <[email protected]>
why? We should document the reason in the commit.
> ---
> .travis.yml | 6 ++++++
> 1 file changed, 6 insertions(+)
>
> diff --git a/.travis.yml b/.travis.yml
> index 1da542f99f..7c93a10c5f 100644
> --- a/.travis.yml
> +++ b/.travis.yml
> @@ -87,6 +87,7 @@ before_script:
> script:
> - make ${MAKEFLAGS} && ${TEST_CMD}
> matrix:
> + fast_finish: true
> include:
> # We manually include builds which we disable "make check" for, they also
> # are the faster jobs (no testing).
> @@ -233,3 +234,8 @@ matrix:
> - TEST_CMD=""
> before_script:
> - ./configure ${CONFIG} --extra-cflags="-g3 -O0 -fsanitize=thread
> -fuse-ld=gold" || (cat config.log; exit 1)
> + allow_failures:
> + - env: CONFIG="--enable-gprof --disable-pie"
> + compiler: gcc
> + - env: CONFIG="--enable-gcov --disable-pie"
> + compiler: gcc
--
Alex Bennée
