|
From: <sv...@va...> - 2012-06-10 12:26:39
|
philippe 2012-06-10 13:26:26 +0100 (Sun, 10 Jun 2012)
New Revision: 12630
Log:
Avoid unused warning for ptrace_write_memory in vgdb.c (only used on some platforms)
Modified files:
trunk/coregrind/vgdb.c
Modified: trunk/coregrind/vgdb.c (+1 -1)
===================================================================
--- trunk/coregrind/vgdb.c 2012-06-10 11:44:05 +01:00 (rev 12629)
+++ trunk/coregrind/vgdb.c 2012-06-10 13:26:26 +01:00 (rev 12630)
@@ -343,7 +343,7 @@
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)
|