Output time stamp in verbose build log

Create issue
Issue #1968 closed
Frank Löffler created an issue

Timestamp includes sub-second granularity when available, and uses Perl to do so in a more portable way than 'date' likely could.

At the same time, don't let 'make' output the commands necessary to generate this debug output. This is not useful, except when debugging the debug output, which likely a user will never do.

Pull-request at https://bitbucket.org/cactuscode/cactus/pull-requests/32/output-time-stamp-in-verbose-build-log/diff

Keyword:

Comments (7)

  1. Steven R. Brandt
    • removed comment

    One possibility would be to call perl with this string instead:

    eval { require("Time/HiRes.pm"); print(&Time::HiRes::gettimeofday()+0," "); }; if($@) { print time(); }
    

    The advantage is that it will still give you a lores time if there is no HiRes.pm. I'm not sure if there are any machines out there that don't have HiRes.pm, however.

  2. Log in to comment