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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4052 for ac_file in $ac_files
4054 case $ac_file in
4056 * ) ac_rmfiles="$ac_rmfiles $ac_file";;
4077 for ac_file in $ac_files ''
4079 test -f "$ac_file" || continue
4080 case $ac_file in
4090 ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4105 ac_file=''
4107 if test -z "$ac_file"; then :
4123 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >
[all...]

Completed in 43 milliseconds