update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / l4re_trampoline.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_trampoline.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_trampoline.c
index cdbe8b5750f0caf474b512abb1de5f3c3a83a3b6..4f34dc7b817bbb7836d807ba06cc8bae99587926 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_trampoline.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re_trampoline.c
@@ -6,6 +6,7 @@
 #include "pub_core_basics.h"
 #include "pub_tool_libcbase.h"
 #include "pub_core_vki.h"
+#include "pub_core_libcsetjmp.h"
 #include "pub_core_threadstate.h"
 
 #define L4RE_TRAP_MAGIC \