Searched refs:ac_precious_vars (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/ | ||
| H A D | configure | 836 ac_precious_vars='build_alias 1392 for ac_var in $ac_precious_vars; do 2864 for ac_var in $ac_precious_vars; do |
Completed in 74 milliseconds