From a025664ce4f19456e41202ea218e65d571c58f26 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Thu, 17 May 2007 14:26:50 +0200
Subject: [PATCH] More extra debug.

Rev: src/main.c:1.226
---
 src/main.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index eae5fbc002..011e4c7d91 100644
--- a/src/main.c
+++ b/src/main.c
@@ -2,7 +2,7 @@
 || This file is part of Pike. For copyright information see COPYRIGHT.
 || Pike is distributed under GPL, LGPL and MPL. See the file COPYING
 || for more information.
-|| $Id: main.c,v 1.225 2006/07/05 00:37:18 mast Exp $
+|| $Id: main.c,v 1.226 2007/05/17 12:26:50 grubba Exp $
 */
 
 #include "global.h"
@@ -247,6 +247,17 @@ int main(int argc, char **argv)
   int e, num;
   char *p;
 
+#ifdef PIKE_EXTRA_DEBUG
+#ifdef HAVE_SIGNAL
+  if (sizeof(void *) == 8) {
+    /* 64-bit Solaris 10 in Xenofarm fails with SIGPIPE.
+     * Force a core dump.
+     */
+    signal(SIGPIPE, abort);
+  }
+#endif
+#endif
+
   TRACE((stderr, "Init master...\n"));
   
   find_lib_dir(argc, argv);
-- 
GitLab