|
From: <sv...@va...> - 2011-07-12 12:04:00
|
Author: sewardj
Date: 2011-07-12 12:59:11 +0100 (Tue, 12 Jul 2011)
New Revision: 11886
Log:
Fix Linux build breakage caused by header rearrangement in r11885, sigh.
Modified:
trunk/coregrind/vgdb.c
Modified: trunk/coregrind/vgdb.c
===================================================================
--- trunk/coregrind/vgdb.c 2011-07-12 11:46:24 UTC (rev 11885)
+++ trunk/coregrind/vgdb.c 2011-07-12 11:59:11 UTC (rev 11886)
@@ -41,8 +41,13 @@
#else /* all other (Linux?) platforms */
+#include "pub_core_basics.h"
+#include "pub_core_vki.h"
+#include "pub_core_libcsetjmp.h"
+#include "pub_core_threadstate.h"
+#include "pub_core_gdbserver.h"
+
#include <limits.h>
-#include <unistd.h>
#include <string.h>
#include <poll.h>
#include <pthread.h>
@@ -53,11 +58,10 @@
#include <sys/stat.h>
#include <sys/time.h>
#include <errno.h>
-#include <signal.h>
#include <sys/mman.h>
#include <sys/ptrace.h>
#include <sys/wait.h>
-#include "assert.h"
+#include <assert.h>
#include <sys/user.h>
#if defined(VGO_linux)
@@ -65,12 +69,6 @@
# include <linux/ptrace.h>
#endif
-#include "pub_core_basics.h"
-#include "pub_core_vki.h"
-#include "pub_core_libcsetjmp.h"
-#include "pub_core_threadstate.h"
-#include "pub_core_gdbserver.h"
-
/* vgdb has two usages:
1. relay application between gdb and the gdbserver embedded in valgrind.
2. standalone to send monitor commands to a running valgrind-ified process
|