Avoid unused warning for ptrace_write_memory in vgdb.c (only used on some platforms)

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12630

diff --git a/coregrind/vgdb.c b/coregrind/vgdb.c
index c0f1d815f0e4f12043a7eaed930ff7a9e7aaf479..8a4f58a14d70dd7a0bb6a3eaeb2aa8761985c102 100644 (file)
--- a/coregrind/vgdb.c
+++ b/coregrind/vgdb.c
@@ -343,7 +343,7 @@ int ptrace_read_memory (pid_t inferior_pid, CORE_ADDR memaddr,
    to inferior's memory at MEMADDR.
    On failure (cannot write the inferior)
    returns the value of errno.  */
-
+__attribute__((unused)) /* not used on all platforms */
 static
 int ptrace_write_memory (pid_t inferior_pid, CORE_ADDR memaddr, 
                          const unsigned char *myaddr, int len)