[project @ 2000-04-05 15:21:28 by simonmar]

Ignore system CCSs in the generated XML profile, since the browser
isn't doing this yet.

diff --git a/ghc/rts/Profiling.c b/ghc/rts/Profiling.c
index f9f50b1..38d620d 100644 (file)
--- a/ghc/rts/Profiling.c
+++ b/ghc/rts/Profiling.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Profiling.c,v 1.17 2000/04/03 15:54:49 simonmar Exp $
+ * $Id: Profiling.c,v 1.18 2000/04/05 15:21:28 simonmar Exp $
  *
  * (c) The GHC Team, 1998-2000
  *
@@ -816,6 +816,8 @@ reportCCS_XML(CostCentreStack *ccs)
   CostCentre *cc;
   IndexTable *i;
 
+  if (ccs_to_ignore(ccs)) { return; }
+
   cc = ccs->cc;
   
   fprintf(prof_file, " 1 %d %lu %lu %lu",