diff options
Diffstat (limited to 'user/valgrind/uclibc.patch')
| -rw-r--r-- | user/valgrind/uclibc.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/user/valgrind/uclibc.patch b/user/valgrind/uclibc.patch new file mode 100644 index 000000000..69281ab2c --- /dev/null +++ b/user/valgrind/uclibc.patch @@ -0,0 +1,10 @@ +--- ./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 |