Re: [FFmpeg-devel] [PATCH] configure: error out if jni is enabled and not found

2017-03-20 Thread Matthieu Bouron
On Sat, Mar 18, 2017 at 12:27:20PM +0100, Matthieu Bouron wrote: > On Wed, Mar 15, 2017 at 03:29:08PM +0100, Matthieu Bouron wrote: > > --- > > configure | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/configure b/configure > > index 1e2e774950..a4890ca0d3 100755 >

Re: [FFmpeg-devel] [PATCH] configure: error out if jni is enabled and not found

2017-03-18 Thread Matthieu Bouron
On Wed, Mar 15, 2017 at 03:29:08PM +0100, Matthieu Bouron wrote: > --- > configure | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/configure b/configure > index 1e2e774950..a4890ca0d3 100755 > --- a/configure > +++ b/configure > @@ -5744,7 +5744,7 @@ enabled frei0r

[FFmpeg-devel] [PATCH] configure: error out if jni is enabled and not found

2017-03-15 Thread Matthieu Bouron
--- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 1e2e774950..a4890ca0d3 100755 --- a/configure +++ b/configure @@ -5744,7 +5744,7 @@ enabled frei0r&& { check_header frei0r.h || die "ERROR: frei0r.h hea enabled gmp