drd: make the build silent regardless of platform, and abort at
startup with a message if a not supported platform, like
Omega.
omega: make the platform-not-supported-message a bit nicer.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7228 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/exp-drd/drd_main.c b/exp-drd/drd_main.c
index 117b308..7ddb900 100644
--- a/exp-drd/drd_main.c
+++ b/exp-drd/drd_main.c
@@ -553,7 +553,16 @@
static
void drd_post_clo_init(void)
-{ }
+{
+# if defined(VGP_x86_linux) || defined(VGP_amd64_linux)
+ /* fine */
+# else
+ VG_(printf)("\nDRD currently only works on x86-linux and amd64-linux.\n");
+ VG_(printf)("At the very least you need to set PTHREAD_{MUTEX,COND}_SIZE\n");
+ VG_(printf)("in pthread_object_size.h to correct values. Sorry.\n\n");
+ VG_(exit)(0);
+# endif
+}
static
IRSB* drd_instrument(VgCallbackClosure* const closure,