Re: [PATCH] Drop two useless variables from known-dwarf.awk

[Mark Wielaard]

Hi Petr,

On Fri, 2015-02-20 at 20:07 +0100, Petr Machata wrote:
> +2015-02-20  Petr Machata  <pmach...@redhat.com>
> +
> +     * known-dwarf.awk (END): Drop useless variables lo, hi.  Merge two
> +     continue-checks in one.

Sorry for the delay. It looks fine, I even checked that the
known-dwarf.h file is completely unchanged.

Thanks,

Mark