diff options
author | Zach van Rijn <me@zv.io> | 2023-05-12 14:56:42 -0500 |
---|---|---|
committer | Zach van Rijn <me@zv.io> | 2023-05-12 15:29:36 -0500 |
commit | d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7 (patch) | |
tree | ef6f0e994d734ce1b9b71811a33d8232692f9ba9 /user/valgrind | |
parent | 55f95de5e74e22cfab0d73726fd323859924f6d7 (diff) | |
download | packages-d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7.tar.gz packages-d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7.tar.bz2 packages-d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7.tar.xz packages-d4cc0e8d5a0e29e9b66e7058c180a7aa9b2cdac7.zip |
remove erroneous files. fixes #828.
Diffstat (limited to 'user/valgrind')
-rw-r--r-- | user/valgrind/uclibc.patch | 10 |
1 files changed, 0 insertions, 10 deletions
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 |