Re: [PATCH 1/2] livepatch-build-tools: remove usage of gawk

[Ross Lagerwall <ross.lagerwall@xxxxxxxxx>]

On Thu, Nov 23, 2023 at 4:08 PM Roger Pau Monne <roger.pau@xxxxxxxxxx> 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