<div dir="ltr">Is there a command line option to send -log_summary stuff to a file instead of stdout?<div>Thanks,</div><div>Mark</div></div>