		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; see 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 the value returned by that Lisp function, which may well be the numeric value returned by the host operating system for the underlying system call. For more information, see sys-call.