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