Lines Matching refs:enable_option_checking
789 enable_option_checking1237 case $enable_option_checking in8222 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then