-#include "gdb_wait.h"
-
-/* Print debugging output based on the format string FORMAT and
- its parameters. */
-
-static inline void ATTRIBUTE_PRINTF (1,2)
-linux_debug (const char *format, ...)
-{
-#ifdef GDBSERVER
- if (debug_threads)
- {
- va_list args;
- va_start (args, format);
- vfprintf (stderr, format, args);
- va_end (args);
- }
-#endif
-}