tree 97090bce4097977314a2b636e43363c5c9437576
parent 7869680e41e09e2aa1d24529099b86e08acfe1e3
author Darryl Green <darryl.green@arm.com> 1523876549 +0100
committer Darryl Green <darryl.green@arm.com> 1523876549 +0100

Fix minor issues with command line options