Branch: refs/heads/main
Revision: e7e3339423e61b275a5c6dedcb12efe6640f26df
Author: jabraham17
Link: Make sure Mason output is properly flushed by jabraham17 · Pull Request #28652 · chapel-lang/chapel · GitHub
Log Message:
Make sure Mason output is properly flushed (#28652)
fixes an issue introduced by
Make `mason run` less intrusive by jabraham17 · Pull Request #28637 · chapel-lang/chapel · GitHub where mason output
order was different based on if the output of mason was captured or
not
For example, the output order of mason run and mason run | tee log.txt was different, because we were failing to flush output. This PR
fixes that
[Reviewed by @benharsh]
Diff:
M test/mason/publish/use-local-registry/.gitignore
M test/mason/publish/use-local-registry/CLEANFILES
M tools/mason/MasonLogger.chpl
M tools/mason/MasonUtils.chpl
https://github.com/chapel-lang/chapel/pull/28652.diff