tree 19cb14962bd1d3b3e4b787da7538450d021b54a8
parent 668063bca2884e5e2f010eec65fc8294e7e1cd32
author Darryl Green <darryl.green@arm.com> 1550754566 +0000
committer Darryl Green <darryl.green@arm.com> 1555584448 +0100

Add option for a brief report of problems only