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

/seL4-l4v-10.1.1/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; }
2784 trap 'ac_signal='$ac_signal'; as_fn_exit 1' $ac_signal
22872 as_fn_exit $as_status
22884 # as_fn_exit STATUS
22887 as_fn_exit () function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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; }
2575 trap 'ac_signal='$ac_signal'; as_fn_exit 1' $ac_signal
19855 as_fn_exit $as_status
19867 # as_fn_exit STATUS
19870 as_fn_exit () function
[all...]

Completed in 64 milliseconds