diff options
Diffstat (limited to 'Build/source/texk/xdvik/configure')
-rwxr-xr-x | Build/source/texk/xdvik/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/xdvik/configure b/Build/source/texk/xdvik/configure index 53810a3b391..9e4a483f8fd 100755 --- a/Build/source/texk/xdvik/configure +++ b/Build/source/texk/xdvik/configure @@ -16406,6 +16406,9 @@ else $as_nop #ifdef HAVE_UNISTD_H #include <unistd.h> #endif +#ifdef HAVE_SYS_WAIT_H +#include <sys/wait.h> +#endif #ifdef HAVE_VFORK_H #include <vfork.h> #endif @@ -16427,7 +16430,7 @@ main (void) while (wait(&status) != child) ; - exit( + _exit( /* Was there some problem with vforking? */ child < 0 |