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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sig7 type exit_status = Posix.Process.exit_status type
17 | Terminated of jobkey * exit_status * Time.time
H A DProcessMultiplexor.sml13 type exit_status = Posix.Process.exit_status type
38 | Terminated of jobkey * exit_status * Time.time
/seL4-l4v-10.1.1/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
768 datatype exit_status = type
807 fun fromStatus (stat: OS.Process.status): exit_status =
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dssh.scala221 val exit_status: Future[Int] =
276 exit_status.join
280 try { exit_status.join }
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dssh.scala221 val exit_status: Future[Int] =
276 exit_status.join
280 try { exit_status.join }
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in412 exit_status=0; l='$(DEJATOOL)'; for tool in $$l; do \
414 then :; else exit_status=1; fi; \
418 exit $$exit_status
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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...]
/seL4-l4v-10.1.1/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 Dconfigure2696 trap 'exit_status=$?
2777 $as_echo "$as_me: exit $exit_status"
2781 exit $exit_status
23723 trap 'exit_status=$?
23725 { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status

Completed in 196 milliseconds