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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure229 as_shell=$as_dir/$as_base
230 if { test -f "$as_shell" || test -f "$as_shell.exe"; } &&
231 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$as_shell"; } 2>/dev/null; then :
232 CONFIG_SHELL=$as_shell as_have_required=yes
233 if { $as_echo "$as_bourne_compatible""$as_suggested" | as_run=a "$as_shell"; } 2>/dev/null; then :

Completed in 105 milliseconds