diff options
Diffstat (limited to 'dwarves.patch')
| -rw-r--r-- | dwarves.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dwarves.patch b/dwarves.patch new file mode 100644 index 000000000..589b22a48 --- /dev/null +++ b/dwarves.patch @@ -0,0 +1,12 @@ +/scripts/pahole-flags.sh ++++ b/scripts/pahole-flags.sh +@@ -17,4 +17,8 @@ if [ "${pahole_ver}" -ge "121" ]; then + extra_paholeopt="${extra_paholeopt} --btf_gen_floats" + fi + ++if [ "${pahole_ver}" -ge "124" ]; then ++ extra_paholeopt="${extra_paholeopt} --skip_encoding_btf_enum64" ++fi ++ + echo ${extra_paholeopt} + |