# | Line 9 | Line 9 | static const char RCSid[] = "$Id$"; | |
---|---|---|
9 | ||
10 | #include <sys/types.h> | |
11 | #include <signal.h> | |
12 | + | #ifdef _WIN32 |
13 | + | #include <process.h> /* getpid() */ |
14 | + | #endif |
15 | ||
16 | #include "platform.h" | |
17 | #include "ray.h" |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |