diff options
| author | Stefan Cristian B. <steven.darklight@gmail.com> | 2015-06-18 18:31:03 +0300 |
|---|---|---|
| committer | Stefan Cristian B. <steven.darklight@gmail.com> | 2015-06-18 18:31:03 +0300 |
| commit | 71c20430bd06d80b663fb54d1df67598d804c219 (patch) | |
| tree | 8ed9e8852b128c270f9197edf597532ac3fd8e11 /dev-ml/camlidl/files/tests.patch | |
| parent | 35875647a1f4db65a3a7a559479ef8e311acbac2 (diff) | |
| parent | 975d01bc65f0f9190808c0d3cddf3131a790a8f6 (diff) | |
Merge pull request #52 from crismblog/master
Applications useful and beautiful themes
Diffstat (limited to 'dev-ml/camlidl/files/tests.patch')
| -rw-r--r-- | dev-ml/camlidl/files/tests.patch | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/camlidl/files/tests.patch b/dev-ml/camlidl/files/tests.patch new file mode 100644 index 00000000..f7272424 --- /dev/null +++ b/dev-ml/camlidl/files/tests.patch @@ -0,0 +1,36 @@ +Index: camlidl-1.05/tests/unix.idl +=================================================================== +--- camlidl-1.05.orig/tests/unix.idl ++++ camlidl-1.05/tests/unix.idl +@@ -15,16 +15,16 @@ quote (C, " + + union process_status { int code; }; + +- enum { WEXITED, WSIGNALED, WSTOPPED }; ++ enum { WEXITED2, WSIGNALED, WSTOPPED2 }; + + static void decode_status(int status, int * kind, union process_status * p) + { + if (WIFEXITED(status)) { +- *kind = WEXITED; p->code = WEXITSTATUS(status); ++ *kind = WEXITED2; p->code = WEXITSTATUS(status); + } else if (WIFSIGNALED(status)) { + *kind = WSIGNALED; p->code = WTERMSIG(status); + } else { +- *kind = WSTOPPED; p->code = WSTOPSIG(status); ++ *kind = WSTOPPED2; p->code = WSTOPSIG(status); + } + } + +@@ -59,9 +59,9 @@ int execve([in,string] char * path, + int fork(void); + + union process_status { +- case WEXITED: int code; ++ case WEXITED2: int code; + case WSIGNALED: int code; +- case WSTOPPED: int code; ++ case WSTOPPED2: int code; + }; + + int wait([out] int * kind, |