PRUNERS / FLiT

A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
Other
36 stars 6 forks source link

Event Logging - Stdout formatting is stripped by the logging process #335

Open JohnJacobsonIII opened 3 years ago

JohnJacobsonIII commented 3 years ago

Bug Report

Description: This issue is connected to Issue #331. Output to stdout from makefiles is currently formatted (with colored text) for improved readability. The current process for logging makefile events (#331) strips all formatting as it tee's all output to logfiles.

Suggested Fix:

  1. There are some commands to force retention of color (grep --color=always, passing through script, probably many others I haven't explored) but most of these will write extra text to the logs as well. These could be used in conjunction with careful purification of the logs.
  2. Change the makefile logging control flow. The current flow enables --output-sync for safe parallel log writing, but there are likely other ways to implement this in make calls without adjusting basic output.