diff options
Diffstat (limited to 'user/valgrind/arm.patch')
| -rw-r--r-- | user/valgrind/arm.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/user/valgrind/arm.patch b/user/valgrind/arm.patch new file mode 100644 index 000000000..8281c8ba1 --- /dev/null +++ b/user/valgrind/arm.patch @@ -0,0 +1,11 @@ +--- a/configure.ac ++++ b/configure.ac +@@ -234,7 +234,7 @@ + ARCH_MAX="s390x" + ;; + +- armv7*) ++ arm*) + AC_MSG_RESULT([ok (${host_cpu})]) + ARCH_MAX="arm" + ;; |