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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure179 as_required="as_fn_return () { (exit \$1); }
210 if (eval "$as_required") 2>/dev/null; then :
231 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$as_shell"; } 2>/dev/null; then :
242 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :

Completed in 121 milliseconds