|
From: <sv...@va...> - 2013-01-26 16:45:11
|
philippe 2013-01-26 16:45:01 +0000 (Sat, 26 Jan 2013)
New Revision: 13269
Log:
Fix warning (missing #include file)
Modified files:
trunk/coregrind/m_gdbserver/server.c
Modified: trunk/coregrind/m_gdbserver/server.c (+1 -0)
===================================================================
--- trunk/coregrind/m_gdbserver/server.c 2013-01-26 16:32:18 +00:00 (rev 13268)
+++ trunk/coregrind/m_gdbserver/server.c 2013-01-26 16:45:01 +00:00 (rev 13269)
@@ -29,6 +29,7 @@
#include "pub_core_initimg.h"
#include "pub_core_execontext.h"
#include "pub_core_syswrap.h" // VG_(show_open_fds)
+#include "pub_core_scheduler.h"
unsigned long cont_thread;
unsigned long general_thread;
|