Re: [FFmpeg-devel] [PATCH] configure: add missing --strip option to show_help()

2016-02-25 Thread Matthieu Bouron
On Wed, Feb 24, 2016 at 05:26:57PM +0100, Michael Niedermayer wrote: > On Wed, Feb 24, 2016 at 11:40:12AM +0100, Matthieu Bouron wrote: > > From: Matthieu Bouron > > > > --- > > configure | 1 + > > 1 file changed, 1 insertion(+) > > probably ok Pushed. Thanks.

Re: [FFmpeg-devel] [PATCH] configure: add missing --strip option to show_help()

2016-02-24 Thread Michael Niedermayer
On Wed, Feb 24, 2016 at 11:40:12AM +0100, Matthieu Bouron wrote: > From: Matthieu Bouron > > --- > configure | 1 + > 1 file changed, 1 insertion(+) probably ok [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB There will always

[FFmpeg-devel] [PATCH] configure: add missing --strip option to show_help()

2016-02-24 Thread Matthieu Bouron
From: Matthieu Bouron --- configure | 1 + 1 file changed, 1 insertion(+) diff --git a/configure b/configure index 3d1ee49..337a060 100755 --- a/configure +++ b/configure @@ -309,6 +309,7 @@ Toolchain options: --nm=NM use nm tool NM