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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure158 as_fn_exit 255
313 # as_fn_exit STATUS
316 as_fn_exit () function
321 } # as_fn_exit
427 as_fn_exit $as_status
497 { $as_echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2; as_fn_exit 1; }
2775 trap 'ac_signal='$ac_signal'; as_fn_exit 1' $ac_signal
22790 as_fn_exit $as_status
22802 # as_fn_exit STATUS
22805 as_fn_exit () function
[all...]

Completed in 70 milliseconds