You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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.
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.
The text was updated successfully, but these errors were encountered:
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:
grep --color=always
, passing throughscript
, 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.The text was updated successfully, but these errors were encountered: