X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fdebugger.c;h=7b9c0b925fb73215d04af10992a88777a407ee6a;hb=8d41a603943ad04b925f99336e59b4bcbe2fafd9;hp=7d7b0cce5845249c0b85aeb76dd06f7f1a9fc9e8;hpb=164d1274fcb70c54897f2a03fc7c27152ed4821a;p=pspp-builds.git

diff --git a/src/ui/debugger.c b/src/ui/debugger.c
index 7d7b0cce..7b9c0b92 100644
--- a/src/ui/debugger.c
+++ b/src/ui/debugger.c
@@ -18,6 +18,9 @@
 
 #include <config.h>
 
+#include "debugger.h"
+
+#if HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H
 #include <errno.h>
 #include <sys/types.h>
 #include <unistd.h>
@@ -25,14 +28,10 @@
 #include <stdlib.h>
 #include <sys/wait.h>
 
-
-#include "debugger.h"
-
 /* Fork, start gdb and connect to the parent process. 
    If that happens successfully, then this function does not return,
    but exits with EXIT_FAILURE. Otherwise it returns.
  */
-   
 void
 connect_debugger (void)
 {
@@ -64,3 +63,12 @@ connect_debugger (void)
   exit (EXIT_FAILURE);
 }
 
+#else /* !(HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H) */
+/* Don't know how to connect to gdb.
+   Just return.
+ */
+void 
+connect_debugger (void) 
+{
+}
+#endif /* !(HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H) */