X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fdebugger.c;h=f3f678461f932f14074ee7f5d093b34d8250adfe;hb=e570d24a8288851690db14199143d34e6d55a331;hp=aab7797380fed51f52eaaea85edeee87e0179290;hpb=1abba60b3018ce7eb3d85930ad591e4d6ad39813;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) */