X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/0440e3159914b79a728a94d79bc6631526d77ba1..51f012d0ec4f0ad687159ed6685b73f90f1cfc71:/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c
index 47b680a71..e54ec1811 100644
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c
@@ -122,11 +122,14 @@ void free(void *ptr)
 #define size_t int
 // for l4re/lib/src/log.cc
 // for l4re/lib/src/namespace.cc
+// Not required anymore since we handle symbols in uclibc different
+#if 0
 size_t strlen(const char *s);
 size_t strlen(const char *s)
 {
     return VG_(strlen) (s);
 }
+#endif
 
 #include <pub_tool_mallocfree.h>
 // for libc_backends/libc_be_file.h