]>
Commit | Line | Data |
---|---|---|
09aa6f55 JR |
1 | --- NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c.orig 2016-10-18 19:09:45.873681378 +0200 |
2 | +++ NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c 2016-10-18 19:11:50.617472653 +0200 | |
3 | @@ -12,6 +12,11 @@ | |
4 | #include <sys/wait.h> | |
5 | #endif | |
6 | ||
7 | +#include <sys/types.h> | |
8 | +#include <sys/time.h> | |
9 | +#include <sys/resource.h> | |
10 | +#include <sys/wait.h> | |
11 | +#include <unistd.h> | |
12 | ||
13 | #ifndef __GNUC__ | |
14 | extern pid_t wait3 ARGS((int *statusp, int options, struct rusage *rusage)); | |
15 | @@ -40,7 +45,7 @@ | |
16 | int topipe[2], frompipe[2]; | |
17 | char buffer[1024]; | |
18 | ||
19 | -#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) | |
20 | +#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) || defined(__linux__) | |
21 | int status; | |
22 | #else | |
23 | union wait status; |