# | Line 10 | Line 10 | static const char RCSid[] = "$Id$"; | |
---|---|---|
10 | #include <signal.h> | |
11 | #include <string.h> | |
12 | ||
13 | + | #include "platform.h" |
14 | #include "rtprocess.h" /* getpid() */ | |
15 | #include "holo.h" | |
15 | – | #include "platform.h" |
16 | ||
17 | #ifndef BKBSIZE | |
18 | #define BKBSIZE 256 /* beam clump size (kilobytes) */ |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |