update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / m_coredump / coredump-macho.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_coredump/coredump-macho.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_coredump/coredump-macho.c
index 5f74a869b3b77ac0bd977563de14f2df7624f163..499bebabcbdb4364b3e9d65a725313df89904ee3 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_coredump/coredump-macho.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_coredump/coredump-macho.c
@@ -33,6 +33,7 @@
 #include "pub_core_basics.h"
 #include "pub_core_vki.h"
 #include "pub_core_coredump.h"
+#include "pub_core_libcsetjmp.h"   // to keep _threadstate.h happy
 #include "pub_core_threadstate.h"
 
 void VG_(make_coredump)(ThreadId tid, const vki_siginfo_t *si, UInt max_size)