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

/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sig11 type exit_status = Posix.Process.exit_status type
21 | Terminated of jobkey * exit_status * Time.time
H A DProcessMultiplexor.sml13 type exit_status = Posix.Process.exit_status type
39 | Terminated of jobkey * exit_status * Time.time
/seL4-l4v-master/HOL4/polyml/basis/
H A DUnix.sml25 datatype exit_status type
30 val fromStatus : OS.Process.status -> exit_status
47 connection between exit_status and Posix.Process.exit_status
51 datatype exit_status = datatype Posix.Process.exit_status type
52 val fromStatus : OS.Process.status -> exit_status
74 datatype exit_status = datatype Posix.Process.exit_status type
H A DPosix.sml115 datatype exit_status = type
119 val fromStatus : OS.Process.status -> exit_status
127 val wait : unit -> pid * exit_status
128 val waitpid : waitpid_arg * W.flags list -> pid * exit_status
129 val waitpid_nh : waitpid_arg * W.flags list -> (pid * exit_status) option
763 datatype exit_status = type
802 fun fromStatus (stat: OS.Process.status): exit_status =
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dssh.scala233 val exit_status: Future[Int] =
288 exit_status.join
292 try { exit_status.join }
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dssh.scala233 val exit_status: Future[Int] =
288 exit_status.join
292 try { exit_status.join }
/seL4-l4v-master/HOL4/polyml/
H A Dltmain.sh396 # exit $exit_status
398 # so that you can set exit_status to non-zero if you want to indicate
401 exit_status=$EXIT_SUCCESS
6199 lt_error_core (int exit_status, const char *file,
6207 if (exit_status >= 0)
6208 exit (exit_status);
10401 exit_status=0
10402 func_show_eval "$link_command" 'exit_status=$?'
10415 exit $exit_status
10952 exit_status
[all...]
H A Dconfigure2687 trap 'exit_status=$?
2768 $as_echo "$as_me: exit $exit_status"
2772 exit $exit_status
23641 trap 'exit_status=$?
23643 { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status

Completed in 119 milliseconds