|
[Valgrind-developers] Valgrind: r13571 - in /trunk/coregrind:
pub_core_sigframe.h pub_core_signals.h
From: <sv...@va...> - 2013-09-19 14:55:33
|
Author: florian
Date: Thu Sep 19 14:55:27 2013
New Revision: 13571
Log:
Fix two issues found by check_headers_and_includes.
Modified:
trunk/coregrind/pub_core_sigframe.h
trunk/coregrind/pub_core_signals.h
Modified: trunk/coregrind/pub_core_sigframe.h
==============================================================================
--- trunk/coregrind/pub_core_sigframe.h (original)
+++ trunk/coregrind/pub_core_sigframe.h Thu Sep 19 14:55:27 2013
@@ -33,7 +33,7 @@
#define __PUB_CORE_SIGFRAME_H
#include "pub_core_basics.h" // VG_ macro
-#include "pub_tool_vki.h" // vki_sigset_t et al.
+#include "pub_core_vki.h" // vki_sigset_t et al.
//--------------------------------------------------------------------
// PURPOSE: This module creates and destroys signal delivery frames
Modified: trunk/coregrind/pub_core_signals.h
==============================================================================
--- trunk/coregrind/pub_core_signals.h (original)
+++ trunk/coregrind/pub_core_signals.h Thu Sep 19 14:55:27 2013
@@ -36,7 +36,7 @@
//--------------------------------------------------------------------
#include "pub_tool_signals.h" // I want to get rid of this header...
-#include "pub_tool_vki.h" // vki_sigset_t et al.
+#include "pub_core_vki.h" // vki_sigset_t et al.
/* Highest signal the kernel will let us use */
extern Int VG_(max_signal);
|