diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -373,6 +373,13 @@ engine_enable() { opt=yes fi engine=`echo $eng | sed 's/-/_/g'` + + # Filter the parameter for the subengines + if test "`get_engine_sub ${engine}`" != "no" -a "$opt" != "yes" ; then + option_error + return + fi + if test "$opt" = "static" -o "$opt" = "dynamic" -o "$opt" = "yes" ; then if test "`get_engine_name ${engine}`" != "" -a "`get_engine_build ${engine}`" != "$opt" ; then eval _engine_${engine}_build=$opt @@ -386,6 +393,12 @@ engine_enable() { # Disable the given engine engine_disable() { + # Filter malformed options + if ( echo $1 | grep '=' ) 2> /dev/null > /dev/null ; then + option_error + return + fi + engine=`echo $1 | sed 's/-/_/g'` if test "`get_engine_name ${engine}`" != "" -a "`get_engine_build $engine`" != "no" ; then eval _engine_${engine}_build=no |