aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawk.1
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-11-25 20:16:12 +0200
committerArnold D. Robbins <arnold@skeeve.com>2018-11-25 20:16:12 +0200
commited06eeafe3dc901759e20466446fec48e83402fc (patch)
tree0ec1b7d1bce15e9cca15b2685deef895ee71d0fd /doc/gawk.1
parentccf5a6d8f08e024c93922440b16c90f0339fbe33 (diff)
parent868a694807f0b0a617a47648910a7004b2b9ff97 (diff)
downloadegawk-ed06eeafe3dc901759e20466446fec48e83402fc.tar.gz
egawk-ed06eeafe3dc901759e20466446fec48e83402fc.tar.bz2
egawk-ed06eeafe3dc901759e20466446fec48e83402fc.zip
Merge branch 'master' into feature/fix-comments
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