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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4072 # Autoconf-2.13 could set the ac_cv_exeext variable to `no'.
4074 # in a Makefile. We should not override ac_cv_exeext if it was cached,
4088 if test "${ac_cv_exeext+set}" = set && test "$ac_cv_exeext" != no;
4090 ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4092 # We set ac_cv_exeext here because the later test for it is not
4102 test "$ac_cv_exeext" = no && ac_cv_exeext=
4125 ac_exeext=$ac_cv_exeext
4127 rm -f -r a.out a.out.dSYM a.exe conftest$ac_cv_exeext
[all...]

Completed in 46 milliseconds