| # | 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 (old) |
| > | Changed lines (new) |