From d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7 Mon Sep 17 00:00:00 2001
From: Zach van Rijn <me@zv.io>
Date: Fri, 12 May 2023 14:56:42 -0500
Subject: remove erroneous files. fixes #828.

---
 user/valgrind/uclibc.patch | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 user/valgrind/uclibc.patch

(limited to 'user/valgrind')

diff --git a/user/valgrind/uclibc.patch b/user/valgrind/uclibc.patch
deleted file mode 100644
index 69281ab2c..000000000
--- a/user/valgrind/uclibc.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- ./coregrind/vg_preloaded.c.orig
-+++ ./coregrind/vg_preloaded.c
-@@ -42,6 +42,7 @@
-    originates from Valgrind.
-    ------------------------------------------------------------------ */
- 
-+#include <features.h>
- #include "pub_core_basics.h"
- #include "pub_core_clreq.h"
- #include "pub_core_debuginfo.h"  // Needed for pub_core_redir.h
-- 
cgit v1.2.3-70-g09d2