From e2656c348a1b84eaeef62df5877094aa948561ac Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Mon, 26 May 1997 05:15:12 +0000
Subject: [PATCH] [project @ 1997-05-26 05:15:12 by sof] Added -Rghc-timing

---
 ghc/lib/Makefile |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/lib/Makefile b/ghc/lib/Makefile
index b6fe350..e4317e8 100644
--- a/ghc/lib/Makefile
+++ b/ghc/lib/Makefile
@@ -4,7 +4,7 @@
 #
 #		Makefile for building the GHC Prelude libraries umpteen ways
 #
-# 	$Id: Makefile,v 1.9 1997/05/18 04:27:38 sof Exp $
+# 	$Id: Makefile,v 1.10 1997/05/26 05:15:12 sof Exp $
 #
 #	
 #################################################################################
@@ -36,7 +36,7 @@ HS_IFACES= $(HS_SRCS:.lhs=.$(way_)hi) ghc/GHC.$(way_)hi
 #-----------------------------------------------------------------------------
 # 	Setting the GHC compile options
 
-SRC_HC_OPTS += -recomp -cpp -fglasgow-exts -fvia-C $(GhcLibHcOpts)
+SRC_HC_OPTS += -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing $(GhcLibHcOpts)
 
 #
 # Profiling options
-- 
1.7.10.4