[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug in gawk 3.1.3
From: |
henk.reints |
Subject: |
bug in gawk 3.1.3 |
Date: |
Fri, 16 Jan 2004 12:07:56 +0100 |
Hello, Masters of the GNUniverse!
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.
See below.
Regards,
Henk Reints
http://www.henk-reints.nl
C:\>C:\GNU\date --version
date (GNU sh-utils) 1.13
C:\>C:\GNU\gawk --version | C:\GNU\head -1
GNU Awk 3.1.3
C:\>C:\GNU\date "+%z : %Z"
+0100 : W. Europe Standard Time
C:\>echo x | C:\GNU\gawk "{print strftime(\"%z : %Z\")}"
W. Europe Standard Time : W. Europe Standard Time
#