Searched refs:enable_option_checking (Results 1 – 2 of 2) sorted by relevance
1169 case $enable_option_checking in7404 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1924 case $enable_option_checking in35495 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then