		Search-engine friendly clone of the ACL2 documentation.

Sys-call-status

Exit status from the preceding system call

This function returns two values, (mv status state). The first is the status resulting from the most recent call to the operating system by invoking function sys-call. The second is the ACL2 state object, which is also the input to this function.

The function sys-call provides a command to be executed by the host operating system (except when invoked during a proof; see sys-call) using a function supplied ``under the hood'' by the underlying Lisp system. The status value is an integer, which is the status returned by the process when it completes.