
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hello,<div class="">FWIW, there are at least three occurrences of -log_summary (instead of -log_view) here <a href="https://bitbucket.org/petsc/petsc/src/86807ec76e7cce6a34f2bb4e5af07ac0b484b4d0/src/sys/logging/plog.c?at=master&fileviewer=file-view-default#plog.c-1711" class="">https://bitbucket.org/petsc/petsc/src/86807ec76e7cce6a34f2bb4e5af07ac0b484b4d0/src/sys/logging/plog.c?at=master&fileviewer=file-view-default#plog.c-1711</a></div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Pierre</div></body></html>