Searched refs:configure_input (Results 1 – 4 of 4) sorted by relevance
3259 configure_input="$ac_file. $configure_input"3264 case $configure_input in #(3266 ac_sed_conf_input=`$as_echo "$configure_input" |3268 *) ac_sed_conf_input=$configure_input;;
3270 configure_input="$ac_file. $configure_input"3275 case $configure_input in #(3277 ac_sed_conf_input=`$as_echo "$configure_input" |3279 *) ac_sed_conf_input=$configure_input;;
4623 configure_input="$ac_file. $configure_input"4628 case $configure_input in #(4630 ac_sed_conf_input=`$as_echo "$configure_input" |4632 *) ac_sed_conf_input=$configure_input;;
10809 configure_input="$ac_file. $configure_input"10814 case $configure_input in #(10816 ac_sed_conf_input=`$as_echo "$configure_input" |10818 *) ac_sed_conf_input=$configure_input;;10978 $as_echo "/* $configure_input */" \10991 $as_echo "/* $configure_input */" \
Completed in 21 milliseconds