Searched refs:ac_file (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3924 for ac_file in $ac_files
3926 case $ac_file in
3928 * ) ac_rmfiles="$ac_rmfiles $ac_file";;
3949 for ac_file in $ac_files ''
3951 test -f "$ac_file" || continue
3952 case $ac_file in
3962 ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
3977 ac_file=''
3979 if test -z "$ac_file"; then :
3995 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4312 for ac_file in $ac_files
4314 case $ac_file in
4316 * ) ac_rmfiles="$ac_rmfiles $ac_file";;
4337 for ac_file in $ac_files ''
4339 test -f "$ac_file" || continue
4340 case $ac_file in
4350 ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4365 ac_file=''
4367 if test -z "$ac_file"; then :
4383 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >
[all...]

Completed in 41 milliseconds