|
From: <sv...@va...> - 2009-01-09 01:07:09
|
Author: njn
Date: 2009-01-09 01:07:02 +0000 (Fri, 09 Jan 2009)
New Revision: 8928
Log:
DARWIN/include/vki/vki-darwin.h
DARWIN/coregrind/m_signals.c
DARWIN/coregrind/pub_core_signals.h
Fix hack involving VG_(max_signal). This will make compiling this
branch on Linux easier.
Modified:
branches/DARWIN/coregrind/m_signals.c
branches/DARWIN/coregrind/pub_core_signals.h
branches/DARWIN/include/vki/vki-darwin.h
Modified: branches/DARWIN/coregrind/m_signals.c
===================================================================
--- branches/DARWIN/coregrind/m_signals.c 2009-01-08 23:52:26 UTC (rev 8927)
+++ branches/DARWIN/coregrind/m_signals.c 2009-01-09 01:07:02 UTC (rev 8928)
@@ -107,6 +107,9 @@
#include "pub_core_tooliface.h"
#include "pub_core_coredump.h"
+/* Maximum usable signal. */
+Int VG_(max_signal) = _VKI_NSIG;
+
#if defined(VGO_darwin)
#warning GrP fixme signals
@@ -123,9 +126,6 @@
static const Char *signame(Int sigNo);
-/* Maximum usable signal. */
-Int VG_(max_signal) = _VKI_NSIG;
-
#define N_QUEUED_SIGNALS 8
typedef struct SigQueue {
Modified: branches/DARWIN/coregrind/pub_core_signals.h
===================================================================
--- branches/DARWIN/coregrind/pub_core_signals.h 2009-01-08 23:52:26 UTC (rev 8927)
+++ branches/DARWIN/coregrind/pub_core_signals.h 2009-01-09 01:07:02 UTC (rev 8928)
@@ -38,7 +38,7 @@
#include "pub_tool_signals.h" // I want to get rid of this header...
/* Highest signal the kernel will let us use */
-// GrP fixme extern Int VG_(max_signal);
+extern Int VG_(max_signal);
/* Use high signals because native pthreads wants to use low */
#define VG_SIGVGKILL (VG_(max_signal)-0)
Modified: branches/DARWIN/include/vki/vki-darwin.h
===================================================================
--- branches/DARWIN/include/vki/vki-darwin.h 2009-01-08 23:52:26 UTC (rev 8927)
+++ branches/DARWIN/include/vki/vki-darwin.h 2009-01-09 01:07:02 UTC (rev 8928)
@@ -87,9 +87,6 @@
#define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
#define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE
-// signals
-#define vgPlain_max_signal _VKI_NSIG
-
// types
typedef uint32_t vki_u32;
|