[ was: Re: [PATCH][gdb] Write index for dwz -m file ]


Hi,

This is a follow-up patch for "[gdb] Write index for dwz -m file".

Any comments on the updated gdb/contrib/gdb-add-index.sh script?

In particular, I'd like some advice on whether I should add shell
variables (as I've done for readelf) for grep, tail and sed.

Thanks,
- Tom