diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-11-25 20:13:30 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-11-25 20:13:30 +0200 |
commit | 868a694807f0b0a617a47648910a7004b2b9ff97 (patch) | |
tree | 2f3156c1e617440ec7cd96ce1455126f9ea795fc /doc/gawk.1 | |
parent | 19d38d292158e651c8c7175ae9bbd3e5855e2c94 (diff) | |
download | egawk-868a694807f0b0a617a47648910a7004b2b9ff97.tar.gz egawk-868a694807f0b0a617a47648910a7004b2b9ff97.tar.bz2 egawk-868a694807f0b0a617a47648910a7004b2b9ff97.zip |
Add PROCINFO["platform"] to code and doc.
Diffstat (limited to 'doc/gawk.1')
-rw-r--r-- | doc/gawk.1 | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -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 |