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
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
/*--------------------------------------------------------------------*/
diff --git a/include/pub_tool_basics.h b/include/pub_tool_basics.h
index 90882e4..f75b936 100644
--- a/include/pub_tool_basics.h
+++ b/include/pub_tool_basics.h
@@ -52,9 +52,6 @@
// For varargs types
#include <stdarg.h>
-// Autoconf-generated settings
-#include "config.h"
-
// Kernel types. Might as well have them here, they're used so broadly
// (eg. in pub_core_threadstate.h).
#if defined(VGO_linux)