Searched refs:os_used (Results 1 – 3 of 3) sorted by relevance
870 { test -n "$o" || test -n "$b"; } && os_used=t897 if test -z "$os_used" && test "$os" != none; then
4333 { test -n "$o" || test -n "$b"; } && os_used=t4361 if test -z "$os_used" && test "$os" != none; then
267 * configure: Remove redundant test to set os_used.692 Set os_used if base_os is used.