Lines Matching refs:enable_option_checking
755 enable_option_checking1195 case $enable_option_checking in8078 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then