Re: bug in gawk 3.1.3

[Eli Zaretskii]

> From: <address@hidden>
> Date: Fri, 16 Jan 2004 12:07:56 +0100
> 
> I think I found a bug in the Windows32 version of gawk 3.1.3 which I have 
> downloaded from http://www.weihenstephan.de/~syring/win32
> 
> It does not correctly handle the %z (lowercase) format specifier in the 
> strftime date format which should return the time zone VALUE.
> Instead it returns the time zone NAME just like %Z (uppercase).
> the gnu\date.exe returns the correct result.

This isn't a bug at all: %Z is documented to produce either the full
or the abbreviated name of the time zone.

The reason this definition is vague is because Gawk uses a system
library function, which behaves differently on different platforms.