Searched refs:POLY_ROOT (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/developers/ | ||
H A D | install-poly.sh | 10 POLY_ROOT=${POLY_ROOT:-F} 13 if [ "$POLY_ROOT" == "T" ] 37 if [ "$POLY_ROOT" == "T" -a "$UID" != "0" ] |
Completed in 25 milliseconds