On February 12, 2020 9:42:15 PM EST, Norman Megill <[email protected]> wrote: >On Wednesday, February 12, 2020 at 9:14:32 PM UTC-5, David A. Wheeler >wrote: >> >> Note that I don't use the metamath "log" capability, and use the >> Linux/Unix >> built-in redirection mechanisms instead. If that's a problem of some >kind, >> let me know...! >> > >The beginning and end will be a little different. An advantage of the >log >is that it shows the start and end times. My scripts to build the >final >minimize run have been tested on the log format, although I don't >expect >any problems. Is there a reason not to use the log, though, in order >to >keep things consistent?
Avoiding the use of log made sense in the first version, before I used make. The idea was to capture everything. But now that I'm using make, I could certainly switch to using log. --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1A12B9A8-9694-430B-96A5-74246D0BF555%40dwheeler.com.
