[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] measure milliseconds in gawk
|
From: |
arnold |
|
Subject: |
Re: [bug-gawk] measure milliseconds in gawk |
|
Date: |
Sat, 15 Dec 2018 11:03:47 -0700 |
|
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Peng Yu <address@hidden> wrote:
> Hi,
>
> I don't think strftime() can give information about milliseconds. Is
> there a way to get milliseconds in gawk? Thanks.
>
> --
> Regards,
> Peng
The strftime function in gawk passes through to the sone in the C library
and that function has on support for milliseconds. As Andy pointed
out, the included "time" extensin with gettimeofday may be helpful.
Arnold