summaryrefslogtreecommitdiff
path: root/doc/gawk.1
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-11-25 20:13:30 +0200
committerArnold D. Robbins <arnold@skeeve.com>2018-11-25 20:13:30 +0200
commit868a694807f0b0a617a47648910a7004b2b9ff97 (patch)
tree2f3156c1e617440ec7cd96ce1455126f9ea795fc /doc/gawk.1
parent19d38d292158e651c8c7175ae9bbd3e5855e2c94 (diff)
downloadgawk-868a694807f0b0a617a47648910a7004b2b9ff97.tar.gz
Add PROCINFO["platform"] to code and doc.
Diffstat (limited to 'doc/gawk.1')
-rw-r--r--doc/gawk.122
1 files changed, 22 insertions, 0 deletions
diff --git a/doc/gawk.1 b/doc/gawk.1
index a2448695..17e25768 100644
--- a/doc/gawk.1
+++ b/doc/gawk.1
@@ -1202,6 +1202,28 @@ doesn't know yet).
The identifier is a user-defined function.
.RE
.TP
+\fBPROCINFO["platform"]\fP
+A string indicating the platform for which
+.I gawk
+was compiled. It is one of:
+.RS
+.TP
+\fB"vms"\fR
+OpenVMS or Vax/VMS.
+.TP
+\fB"macosx"\fR
+Mac OS X.
+.TP
+\fB"cygwin"\fR, \fB"djgpp"\fR, \fB"mingw"\fR
+Microsoft Windows, using either Cygwin, DJGPP, or MinGW, respectively.
+.TP
+\fB"os2"\fR
+OS/2.
+.TP
+\fB"posix"\fR
+GNU/Linux and legacy Unix systems.
+.RE
+.TP
\fBPROCINFO["pgrpid"]\fP
The process group ID of the current process.
.TP