server: Only declare get_ptrace_tid when needed

[André Hentschel]

---
 server/ptrace.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/server/ptrace.c b/server/ptrace.c
index 6c14481..60d1123 100644
--- a/server/ptrace.c
+++ b/server/ptrace.c
@@ -174,12 +174,14 @@ static int get_ptrace_pid( struct thread *thread )
     return thread->unix_pid;
 }
 
+#if defined(__i386__) || (defined(linux) && defined(__x86_64__))
 /* return the Unix tid to use in ptrace calls for a given thread */
 static int get_ptrace_tid( struct thread *thread )
 {
     if (thread->unix_tid != -1) return thread->unix_tid;
     return thread->unix_pid;
 }
+#endif
 
 /* wait for a ptraced child to get a certain signal */
 static int wait4_thread( struct thread *thread, int signal )
-- 

Best Regards, André Hentschel