diff options
Diffstat (limited to 'user/valgrind/ppc32.patch')
| -rw-r--r-- | user/valgrind/ppc32.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/user/valgrind/ppc32.patch b/user/valgrind/ppc32.patch new file mode 100644 index 000000000..093eae132 --- /dev/null +++ b/user/valgrind/ppc32.patch @@ -0,0 +1,15 @@ +--- valgrind-3.21.0/VEX/priv/main_main.c.old 2023-01-07 14:48:48.000000000 +0000 ++++ valgrind-3.21.0/VEX/priv/main_main.c 2024-10-01 21:53:47.879017945 +0000 +@@ -2047,10 +2047,10 @@ + } + + /* ISA 3.0 not supported on 32-bit machines */ +- if ((hwcaps & VEX_HWCAPS_PPC32_ISA3_0) != 0) { ++ /*if ((hwcaps & VEX_HWCAPS_PPC32_ISA3_0) != 0) { + invalid_hwcaps(arch, hwcaps, + "ISA 3.0 not supported in 32-bit mode \n"); +- } ++ }*/ + return; + } + |