commit f38dad945c5b8815916b9e5c288ebb725eaf591c
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Jul 20 13:18:23 2005 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Jul 20 13:18:23 2005 +0000
tree 502e9d8d92502e69b285e34bf442abf3b4adac49
parent 67c5364469fcc9a5728adf5f95312ddfb11797a6

Move config.h inclusion from pub_tool_basics.h to pub_core_basics.h so it's
not seen by external tools.  This was requested by Josef W.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4215 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/pub_core_basics.h

diff --git a/coregrind/pub_core_basics.h b/coregrind/pub_core_basics.h
index c35bd37..8d56e4a 100644
--- a/coregrind/pub_core_basics.h
+++ b/coregrind/pub_core_basics.h
@@ -58,8 +58,12 @@
 #  error Unknown arch
 #endif
 
+// For jmp_buf
 #include <setjmp.h>
 
+// Autoconf-generated settings
+#include "config.h"
+
 #endif   // __PUB_CORE_BASICS_H
 
 /*--------------------------------------------------------------------*/