From 0e0de72dd24ea043d7b7d6f220d121e8bbac8ea1 Mon Sep 17 00:00:00 2001
From: Richard Kistruck <rhsk@ravenbrook.com>
Date: Wed, 26 Mar 2008 14:32:53 +0000
Subject: [PATCH] Mps br/auto_header: (just arenadestroy diag)

Copied from Perforce
 Change: 164502
 ServerID: perforce.ravenbrook.com
---
 mps/code/config.h | 2 +-
 mps/code/diag.c   | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/mps/code/config.h b/mps/code/config.h
index a93f7ee60b8..351e95c7b26 100644
--- a/mps/code/config.h
+++ b/mps/code/config.h
@@ -308,7 +308,7 @@
 
 #ifdef DIAG_WITH_STREAM_AND_WRITEF
 /* DIAG_BUFFER_SIZE: 10 screenfuls: 10x80x25 = 20000 */
-#define DIAG_BUFFER_SIZE      ((Size)20000)
+#define DIAG_BUFFER_SIZE      ((Size)440000)
 #else
 #define DIAG_BUFFER_SIZE      ((Size)1)
 #endif
diff --git a/mps/code/diag.c b/mps/code/diag.c
index 3fd900fb4c2..2e8c41a14be 100644
--- a/mps/code/diag.c
+++ b/mps/code/diag.c
@@ -31,9 +31,9 @@ struct RuleStruct RulesGlobal[] = {
   { "+", "*", "*", "*" },
   { "-", "DIAGTEST_", "*", "*" },
   { "-", "*", "*", "*" },
-  { "+", "amcSegCreateNailboard", "*", "*" },
-  { "+", "amcSegDestroyNailboard", "*", "*" },
-  { "+", "TraceDestroy", "*", "*" },
+  { "-", "amcSegCreateNailboard", "*", "*" },
+  { "-", "amcSegDestroyNailboard", "*", "*" },
+  { "-", "TraceDestroy", "*", "*" },
   { "+", "ArenaDestroy", "*", "*" },
   { NULL, "", "", "" }
 };