On Thu, Nov 23, 2023 at 4:08 PM Roger Pau Monne <[email protected]> wrote:
>
> And instead use plain awk.
>
> There's no need to use the --non-decimal-data option for gawk, since the
> numbers that we want to print are already prefixed with '0x', and so plain awk
> will do the conversion from hexadecimal to decimal just fine.
I don't think that's true (at least with gnu awk 5.1.1):
$ echo '<e98b7> DW_AT_byte_size : 0x14' | awk '{printf("%d\n", $4)}'
0
Having said that, my version of readelf actually gives the value in
decimal so the patch still works. But is that the case for all
versions of readelf? I assume the code was written like that for a
reason...
Ross
