stdcxx-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Martin Sebor <>
Subject RE: [PING] Re: library and build sizes on Windows
Date Mon, 10 Dec 2007 07:30:18 GMT

 author="Farid Zaripov-2">
> -----Original Message-----
> From: Martin Sebor [] 
> Sent: Thursday, November 22, 2007 2:19 AM
> To:
> Subject: [PING] Re: library and build sizes on Windows
> So would be it possible to change the Windows build 
> infrastructure to spit out the date and time in the same 
> format as on UNIX? I.e.,
>      ### date:
>      Wed Oct 31 09:38:50 UTC 2007
> Including the "### date:" part. The exact format of the 
> timestamp itself doesn't have to be exactly the same just as 
> long as it includes the time as well as the date, and it's 
> all on the same line.



I've been doing some work on the test result scripts over the weekend
and noticed a whole bunch of places where we print out the date on
Windows (I counted 12). I dealt with it by trimming all but the first one
from the log when processing it but we should probably get rid of all
the extra dates and either replace them with the same output as on
UNIX if possible (i.e., real, user, ans system times) or just the real
time. Can this be done on Windows?

View this message in context:
Sent from the stdcxx-dev mailing list archive at

View raw message