Lines Matching refs:configure_input
4820 configure_input="$ac_file. $configure_input"
4825 case $configure_input in #(
4827 ac_sed_conf_input=`$as_echo "$configure_input" |
4829 *) ac_sed_conf_input=$configure_input;;
5978 configure_input="$ac_file. $configure_input"
5983 case $configure_input in #(
5985 ac_sed_conf_input=`$as_echo "$configure_input" |
5987 *) ac_sed_conf_input=$configure_input;;
7137 configure_input="$ac_file. $configure_input"
7142 case $configure_input in #(
7144 ac_sed_conf_input=`$as_echo "$configure_input" |
7146 *) ac_sed_conf_input=$configure_input;;
8297 configure_input="$ac_file. $configure_input"
8302 case $configure_input in #(
8304 ac_sed_conf_input=`$as_echo "$configure_input" |
8306 *) ac_sed_conf_input=$configure_input;;
9458 configure_input="$ac_file. $configure_input"
9463 case $configure_input in #(
9465 ac_sed_conf_input=`$as_echo "$configure_input" |
9467 *) ac_sed_conf_input=$configure_input;;
10620 configure_input="$ac_file. $configure_input"
10625 case $configure_input in #(
10627 ac_sed_conf_input=`$as_echo "$configure_input" |
10629 *) ac_sed_conf_input=$configure_input;;