]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_helper.c
update
[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / l4re_helper.c
index 47b680a7194e8ce50d71b95f58e94744aeaddc6f..e54ec18118f921606f4ef17d796d58b9628c30a8 100644 (file)
@@ -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