From 6777425636d1c04494e52c61dc44f523458d12d3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 27 Jun 2012 15:30:56 +0100 Subject: src/actions.c: Include in this generated file. On RHEL 5, because _GNU_SOURCE was not defined, open_memstream was not being declared, resulting in miscompilation and a segfault in the trace code whenever open_memstream returned a pointer >= 0x80000000 (which would be truncated to a 32 bit int and then sign-extended). --- generator/generator_c.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/generator/generator_c.ml b/generator/generator_c.ml index 3e7f314a..d2275acc 100644 --- a/generator/generator_c.ml +++ b/generator/generator_c.ml @@ -658,6 +658,8 @@ and generate_client_actions () = generate_header CStyle LGPLv2plus; pr "\ +#include + #include #include #include -- cgit