Home
last modified time | relevance | path

Searched refs:configure_input (Results 1 – 4 of 4) sorted by relevance

/xen/docs/
A Dconfigure3229 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;;
/xen/
A Dconfigure3275 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;;
/xen/stubdom/
A Dconfigure4667 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;;
/xen/tools/
A Dconfigure11103 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 51 milliseconds