diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 38 |
1 files changed, 33 insertions, 5 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 51d9afeb..2fffdc73 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -15069,6 +15069,31 @@ The values indicate what @command{gawk} knows about the identifiers after it has finished parsing the program; they are @emph{not} updated while the program runs. +@item PROCINFO["platform"] +@cindex platform running on, @code{PROCINFO["platform"]} +This element gives a string indicating the platform for which +@command{gawk} was compiled. The value will be one of the following: + +@c nested table +@table @code +@item "vms" +OpenVMS or Vax/VMS. + +@item "macosx" +Mac OS X. + +@item "cygwin" +@itemx "djgpp" +@itemx "mingw" +Microsoft Windows, using either Cygwin, DJGPP, or MinGW, respectively. + +@item "os2" +OS/2. + +@item "posix" +GNU/Linux and legacy Unix systems. +@end table + @item PROCINFO["pgrpid"] @cindex process group ID of @command{gawk} process The process group ID of the current process. @@ -37843,6 +37868,14 @@ Support for GNU/Linux on Alpha was removed. @end itemize +Version 5.0 added the following features: + +@itemize +@item +The @code{PROCINFO["platform"]} array element, which allows you +to write code that takes the operating system / platform into account. +@end itemize + @c XXX ADD MORE STUFF HERE @end ifclear @@ -38805,11 +38838,6 @@ include the major and minor API versions in it. This makes it possible to keep extensions for different API versions on the same system without their conflicting with one another. -@cindex @option{--with-whiny-user-strftime} configuration option -@cindex configuration option, @code{--with-whiny-user-strftime} -@item --with-whiny-user-strftime -Force use of the included version of the C @code{strftime()} -function for deficient systems. @end table Use the command @samp{./configure --help} to see the full list of |