parser.py: add an option for printing
This is useful to print a quick summary, after filtering. We document some
usage in the README.md.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
This is useful to print a quick summary, after filtering. We document some
usage in the README.md.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
mentioned in commit a1526010
·mentioned in commit a1526010