From 57b3c16cd6caeb12fb8a5c93d1ce64da4504654d Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Tue, 13 Aug 2013 11:49:09 +0200
Subject: [PATCH] valgrind: added patch to make this build with recent
 kernel-libc-headers.

---
 srcpkgs/valgrind/patches/use-sys-pthread-header.patch | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 srcpkgs/valgrind/patches/use-sys-pthread-header.patch

diff --git a/srcpkgs/valgrind/patches/use-sys-pthread-header.patch b/srcpkgs/valgrind/patches/use-sys-pthread-header.patch
new file mode 100644
index 00000000000..39a56783ec8
--- /dev/null
+++ b/srcpkgs/valgrind/patches/use-sys-pthread-header.patch
@@ -0,0 +1,10 @@
+--- coregrind/vgdb.c.orig	2013-08-13 11:47:04.267748406 +0200
++++ coregrind/vgdb.c	2013-08-13 11:47:11.851818772 +0200
+@@ -102,7 +102,6 @@ I_die_here : (PTRACEINVOKER) architectur
+ #include <sys/user.h>
+ #if defined(VGO_linux)
+ #  include <sys/prctl.h>
+-#  include <linux/ptrace.h>
+ #endif
+ #endif
+