|
From: <sv...@va...> - 2009-07-23 07:38:27
|
Author: bart
Date: 2009-07-23 08:38:17 +0100 (Thu, 23 Jul 2009)
New Revision: 10549
Log:
Updated platform support messages.
Modified:
trunk/drd/drd_main.c
Modified: trunk/drd/drd_main.c
===================================================================
--- trunk/drd/drd_main.c 2009-07-23 07:37:32 UTC (rev 10548)
+++ trunk/drd/drd_main.c 2009-07-23 07:38:17 UTC (rev 10549)
@@ -544,11 +544,8 @@
static void DRD_(post_clo_init)(void)
{
-# if defined(VGP_x86_linux) || defined(VGP_amd64_linux) \
- || defined(VGP_ppc32_linux) || defined(VGP_ppc64_linux)
- /* fine */
-# else
- VG_(printf)("\nWARNING: DRD has only been tested on Linux.\n\n");
+#if !defined(VGO_linux) && !defined(VGO_darwin)
+ VG_(printf)("\nWARNING: DRD has only been tested on Linux and on Darwin.\n\n");
# endif
if (DRD_(s_var_info))
@@ -623,12 +620,6 @@
static
void drd_pre_clo_init(void)
{
-#if defined(VGO_darwin)
- // This makes the (all-failing) regtests run much faster.
- VG_(printf)("DRD doesn't work on Darwin yet, sorry.\n");
- VG_(exit)(1);
-#endif
-
// Basic tool stuff.
VG_(details_name) ("drd");
VG_(details_version) (NULL);
|