Lines Matching refs:enable_option_checking
776 enable_option_checking1234 case $enable_option_checking in12312 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then