From 586046d871806dcee92a48eca585955e937af6f6 Mon Sep 17 00:00:00 2001 From: Jordi Vilalta Prat Date: Tue, 6 May 2008 22:09:27 +0000 Subject: Fail on invalid --enable/disable options svn-id: r31910 --- configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index d71501098a..2c2e81c4a7 100755 --- a/configure +++ b/configure @@ -374,7 +374,7 @@ engine_enable() { fi engine=`echo $eng | sed 's/-/_/g'` if test "$opt" = "static" -o "$opt" = "dynamic" -o "$opt" = "yes" ; then - if test "`get_engine_build ${engine}`" != "$opt" ; then + if test "`get_engine_name ${engine}`" != "" -a "`get_engine_build ${engine}`" != "$opt" ; then eval _engine_${engine}_build=$opt else option_error @@ -387,7 +387,7 @@ engine_enable() { # Disable the given engine engine_disable() { engine=`echo $1 | sed 's/-/_/g'` - if test "`get_engine_build $engine`" != "no" ; then + if test "`get_engine_name ${engine}`" != "" -a "`get_engine_build $engine`" != "no" ; then eval _engine_${engine}_build=no else option_error -- cgit v1.2.3