aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/sparse.1
diff options
context:
space:
mode:
Diffstat (limited to 'sparse.1')
-rw-r--r--sparse.110
1 files changed, 10 insertions, 0 deletions
diff --git a/sparse.1 b/sparse.1
index d916ad9e..19c8c4e3 100644
--- a/sparse.1
+++ b/sparse.1
@@ -464,6 +464,16 @@ Look for system headers in the multiarch subdirectory \fIdir\fR.
The \fIdir\fR name would normally take the form of the target's
normalized GNU triplet. (e.g. i386-linux-gnu).
.
+.TP
+.B --os=\fIOS\fR
+Specify the target Operating System.
+This only makes a few differences with the predefined types.
+The accepted values are: linux, unix, freebsd, netbsd, opensd, sunos, darwin
+and cygwin.
+
+The default OS is the one of the machine used to build Sparse if it can be
+detected, otherwise some generic settings are used.
+.
.SH DEBUG OPTIONS
.TP
.B \-fmem-report