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
It is not possible to use odin run with -show-timings or -show-more-timings for programs which generate output redirected into a file.
` odin run file_generator.odin -file -show-timings -show-more-timings > output.gen
In this example timings are printed into the output.gen file, changing the programs expected output.
Request:
Print -show-timings and -show-more-timings to os.stderr to solve this issue.
Also, since those timings are compilation diagnostics/statistics I would expect them to be printed to os.stderr like other diagnostics, anyways.
The text was updated successfully, but these errors were encountered:
MaliusArth
changed the title
Print --show-timings and --show-more-timings to os.stderr
Print -show-timings and -show-more-timings to os.stderrJan 1, 2025
Issue:
It is not possible to use
odin run
with-show-timings
or-show-more-timings
for programs which generate output redirected into a file.` odin run file_generator.odin -file -show-timings -show-more-timings > output.gen
In this example timings are printed into the
output.gen
file, changing the programs expected output.Request:
Print
-show-timings
and-show-more-timings
toos.stderr
to solve this issue.Also, since those timings are compilation diagnostics/statistics I would expect them to be printed to
os.stderr
like other diagnostics, anyways.The text was updated successfully, but these errors were encountered: