X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fdebugger.c;h=f3f678461f932f14074ee7f5d093b34d8250adfe;hb=b1f538f35e5c6cc682550642147ca6ac10174116;hp=aab7797380fed51f52eaaea85edeee87e0179290;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp-builds.git

diff --git a/src/ui/debugger.c b/src/ui/debugger.c
index aab77973..f3f67846 100644
--- a/src/ui/debugger.c
+++ b/src/ui/debugger.c
@@ -18,7 +18,7 @@
 
 #include "debugger.h"
 
-#if HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H
+#if HAVE_FORK && HAVE_EXECLP
 #include <errno.h>
 #include <sys/types.h>
 #include <unistd.h>
@@ -61,7 +61,7 @@ connect_debugger (void)
   exit (EXIT_FAILURE);
 }
 
-#else /* !(HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H) */
+#else /* !(HAVE_FORK && HAVE_EXECLP) */
 /* Don't know how to connect to gdb.
    Just return.
  */
@@ -69,4 +69,4 @@ void
 connect_debugger (void)
 {
 }
-#endif /* !(HAVE_SYS_TYPES_H && HAVE_SYS_WAIT_H) */
+#endif /* !(HAVE_FORK && HAVE_EXECLP) */