diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 2ae6d564..12841fde 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -38120,6 +38120,16 @@ if (contents == "" && ERRNO != "") @{ @node Extension Sample Time @subsection Extension Time Functions +@quotation CAUTION +As @command{gawk} @value{PVERSION} 5.1.0, this extension is considered to be obsolete. +It is replaced by the @code{timex} extension in @code{gawkextlib} +(@pxref{gawkextlib}). + +For @value{PVERSION} 5.1, no warning will be issued if this extension is used. +For the next major release, a warning will be issued. In the release after that +this extension will be removed from the distribution. +@end quotation + The @code{time} extension adds two functions, named @code{gettimeofday()} and @code{sleep()}, as follows: |