Re: [FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

On Tue, Aug 21, 2018 at 05:59:00PM -0300, James Almer wrote: > On 8/21/2018 5:54 PM, Michael Niedermayer wrote: > > On Mon, Aug 20, 2018 at 10:55:00AM -0300, James Almer wrote: > >> On 8/19/2018 5:40 PM, Michael Niedermayer wrote: > >>> Found-by: Max Moroz > >>> Signed-off-by: Michael Niedermayer

Re: [FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

On 8/21/2018 5:54 PM, Michael Niedermayer wrote: > On Mon, Aug 20, 2018 at 10:55:00AM -0300, James Almer wrote: >> On 8/19/2018 5:40 PM, Michael Niedermayer wrote: >>> Found-by: Max Moroz >>> Signed-off-by: Michael Niedermayer >>> --- >>> configure | 2 +- >>> 1 file changed, 1 insertion(+), 1 de

Re: [FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

On Mon, Aug 20, 2018 at 10:55:00AM -0300, James Almer wrote: > On 8/19/2018 5:40 PM, Michael Niedermayer wrote: > > Found-by: Max Moroz > > Signed-off-by: Michael Niedermayer > > --- > > configure | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/configure b/configur

Re: [FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

On 8/19/2018 5:40 PM, Michael Niedermayer wrote: > Found-by: Max Moroz > Signed-off-by: Michael Niedermayer > --- > configure | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/configure b/configure > index 9b5421d5a8..b9c9d0b307 100755 > --- a/configure > +++ b/configure >

[FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

Found-by: Max Moroz Signed-off-by: Michael Niedermayer --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 9b5421d5a8..b9c9d0b307 100755 --- a/configure +++ b/configure @@ -3964,7 +3964,7 @@ set >> $logfile test -n "$valgrind" && toolch