From c86aec496298fb20f0770f5ce9a2a37935f7aa5b Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Fri, 8 Jun 2018 02:11:51 -0500
Subject: put user stuff in user, not system

---
 user/valgrind/arm.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 user/valgrind/arm.patch

(limited to 'user/valgrind/arm.patch')

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"
+ 	;;
-- 
cgit v1.2.3-60-g2f50