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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2865 eval ac_old_set=\$ac_cv_env_${ac_var}_set
2869 case $ac_old_set,$ac_new_set in

Completed in 95 milliseconds