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