# | Line 13 | Line 13 | static const char RCSid[] = "$Id$"; | |
---|---|---|
13 | #include <signal.h> | |
14 | #include <sys/stat.h> | |
15 | #include <sys/types.h> | |
16 | + | |
17 | + | #include "platform.h" |
18 | #ifndef NON_POSIX /* XXX need abstraction for process management */ | |
19 | #include <sys/wait.h> | |
20 | #endif | |
21 | ||
20 | – | #include "platform.h" |
22 | #include "rtprocess.h" /* getpid() */ | |
23 | #include "standard.h" | |
24 | #include "random.h" |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |