get output from lake

Stream: lean4

[Patrick Massot]

Is there a lake option that prevents output capture but still doesn't flood with the screen with the list of generated file? I mean I want IO.println to do something and I know lake --verbose allows this but it also prints a lot of information I don't care about right now.