Searched refs:enable_option_checking (Results 1 – 15 of 15) sorted by relevance
711 enable_option_checking1145 case $enable_option_checking in6877 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1118 case $enable_option_checking in6074 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1090 case $enable_option_checking in6743 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
4338 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
4269 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1189 case $enable_option_checking in8200 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1137 case $enable_option_checking in9726 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1181 case $enable_option_checking in9887 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1330 case $enable_option_checking in14062 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1230 case $enable_option_checking in17608 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1210 case $enable_option_checking in16867 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1378 case $enable_option_checking in19312 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1147 case $enable_option_checking in18622 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1231 case $enable_option_checking in22209 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
1466 case $enable_option_checking in24213 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then