tree cedca3540fab22bba163baac4b935b16b0e29409
parent 8d468e351e42e8424f93746d9ee183f8cff01ec2
author David Brazdil <dbrazdil@google.com> 1456921083 +0000
committer David Brazdil <dbrazdil@google.com> 1456926465 +0000

oatdump: Add option to print just the header

Sometimes that's all one needs.

Change-Id: I0c442ed32f1662ad0b37dc2fccedd964ed1b1466