From 652b549f313ca70242179a2628b2800f692f5b7a Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 28 Nov 2001 14:29:59 +0000
Subject: [PATCH] [project @ 2001-11-28 14:29:59 by simonmar] Don't close the
 stats file if it is stderr.

---
 ghc/rts/Stats.c |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index 1991090..3eb5631 100644
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.40 2001/11/27 16:35:57 simonmar Exp $
+ * $Id: Stats.c,v 1.41 2001/11/28 14:29:59 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -749,7 +749,9 @@ stat_exit(int alloc)
 	}
 
 	fflush(sf);
-	fclose(sf);
+	if (sf != stderr) {
+	    fclose(sf);
+	}
     }
 }
 
-- 
1.7.10.4