Is there a command line option to send -log_summary stuff to a file instead of stdout? Thanks, Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20150112/99e6b933/attachment.html>