gawk: Updating ERRNO

1 
1 16.4.7 Updating 'ERRNO'
1 -----------------------
1 
1 The following functions allow you to update the 'ERRNO' variable:
1 
1 'void update_ERRNO_int(int errno_val);'
1      Set 'ERRNO' to the string equivalent of the error code in
1      'errno_val'.  The value should be one of the defined error codes in
1      '<errno.h>', and 'gawk' turns it into a (possibly translated)
1      string using the C 'strerror()' function.
1 
1 'void update_ERRNO_string(const char *string);'
1      Set 'ERRNO' directly to the string value of 'ERRNO'.  'gawk' makes
1      a copy of the value of 'string'.
1 
1 'void unset_ERRNO(void);'
1      Unset 'ERRNO'.
1