GAWK 3.1.0 - The supplied strftime() and shifts in DST: Fixed!!!

[Kenny McCormack]

Just now, I recompiled GAWK 3.1.0 under Solaris, using the strftime.c
from the GNU sh-utils-2.0.11 distribution.  This file is dated Oct 26, 2000.

This seems to fix the "%z" problem - see below:

Running on a Solaris (5.5.1) machine, in the Eastern Time Zone:

(Running a version of GAWK 3.1.0, compiled some time ago, using the
supplied strftime [*])
% gawk 'BEGIN {print strftime("%z %Z")}'
-0400 EST
(Running the version compiled using strftime.c from the GNU shell utils)
% ./gawk 'BEGIN {print strftime("%z %Z")}'
-0500 EST
% 

Note that this is a non-problem under Linux, where the built-in strftime is
used and functions correctly.  Essentially, I solved the problem under
Solaris by "stealing" the Linux/GNU libc version.

[*] Note that straight out of the box, the ./configure routine will select
the built-in strftime under Solaris, but I over-rode that choice because
the built-in strftime doesn't support %z at all.  The entire point of the
exercize was to get %z working.