Move OINK from tool.h to pub_tool_libcprint.h.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3883

diff --git a/include/pub_tool_libcprint.h b/include/pub_tool_libcprint.h
index 8e44d23a1b3745a3f3166f8a1785494e8eff15da..b9155b37b5351a45a8590e3939e501a75ec2c77d 100644 (file)
--- a/include/pub_tool_libcprint.h
+++ b/include/pub_tool_libcprint.h
@@ -49,6 +49,9 @@ extern UInt VG_(vsprintf)( Char* buf, const HChar* format, va_list vargs );
    Messages for the user
    ------------------------------------------------------------------ */
 
+/* No, really.  I _am_ that strange. */
+#define OINK(nnn) VG_(message)(Vg_DebugMsg, "OINK %d",nnn)
+
 /* Print a message prefixed by "??<pid>?? "; '?' depends on the VgMsgKind.
    Should be used for all user output. */
 

diff --git a/include/tool.h b/include/tool.h
index cd44a61194af2a5fc5a010325a2850957bb70c03..956048298295bfaa7b58974e2c42b89c1f3884e4 100644 (file)
--- a/include/tool.h
+++ b/include/tool.h
@@ -63,9 +63,6 @@
 #define VG_PGROUNDDN(p)    VG_ROUNDDN(p, VKI_PAGE_SIZE)
 #define VG_PGROUNDUP(p)    VG_ROUNDUP(p, VKI_PAGE_SIZE)
 
-/* No, really.  I _am_ that strange. */
-#define OINK(nnn) VG_(message)(Vg_DebugMsg, "OINK %d",nnn)
-
 /* Path to all our library/aux files */
 extern const Char *VG_(libdir);