# | Line 10 | Line 10 | static const char RCSid[] = "$Id$"; | |
---|---|---|
10 | #include "copyright.h" | |
11 | ||
12 | #include <sys/types.h> | |
13 | < | #include <sys/wait.h> /* XXX platform specific */ |
13 | > | #ifndef _WIN32 |
14 | > | #include <sys/wait.h> |
15 | > | #endif |
16 | ||
17 | + | #include "paths.h" |
18 | #include "platform.h" | |
19 | #include "standard.h" | |
20 | #include "driver.h" | |
# | Line 144 | Line 147 | comm_close(void) /* done with driver */ | |
147 | fclose(devin); | |
148 | if (devchild < 0) | |
149 | return; | |
150 | + | #ifndef _WIN32 |
151 | while ((pid = wait(0)) != -1 && pid != devchild) | |
152 | ; | |
153 | + | #endif |
154 | } | |
155 | ||
156 |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |