Searched refs:configure_input (Results 1 – 4 of 4) sorted by relevance
3229 configure_input="$ac_file. $configure_input"3234 case $configure_input in #(3236 ac_sed_conf_input=`$as_echo "$configure_input" |3238 *) ac_sed_conf_input=$configure_input;;
3275 configure_input="$ac_file. $configure_input"3280 case $configure_input in #(3282 ac_sed_conf_input=`$as_echo "$configure_input" |3284 *) ac_sed_conf_input=$configure_input;;
4667 configure_input="$ac_file. $configure_input"4672 case $configure_input in #(4674 ac_sed_conf_input=`$as_echo "$configure_input" |4676 *) ac_sed_conf_input=$configure_input;;
11103 configure_input="$ac_file. $configure_input"11108 case $configure_input in #(11110 ac_sed_conf_input=`$as_echo "$configure_input" |11112 *) ac_sed_conf_input=$configure_input;;11272 $as_echo "/* $configure_input */" \11285 $as_echo "/* $configure_input */" \
Completed in 32 milliseconds