Searched refs:OPT (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/ | ||
H A D | griddle | 540 OPT=${1#--} 545 if validate_name "$OPT" |
/seL4-test-master/tools/seL4/cmake-tool/ | ||
H A D | griddle | 540 OPT=${1#--} 545 if validate_name "$OPT" |
Completed in 35 milliseconds