[project @ 2000-03-14 09:55:05 by simonmar]

[ghc-hetmet.git] / ghc / rts / Proftimer.c

diff --git a/ghc/rts/Proftimer.c b/ghc/rts/Proftimer.c
index 077dc3f..ad5bbd9 100644 (file)
--- a/ghc/rts/Proftimer.c
+++ b/ghc/rts/Proftimer.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Proftimer.c,v 1.3 1999/02/05 16:02:48 simonm Exp $
+ * $Id: Proftimer.c,v 1.5 1999/08/25 16:11:49 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -16,8 +16,6 @@
 #include "Itimer.h"
 #include "Proftimer.h"
 
-lnat total_ticks = 0;
-
 nat current_interval = 1;               /* Current interval number -- 
                                           stored in AGE */
 
@@ -27,20 +25,10 @@ nat previous_ticks = 0;                 /* ticks in previous intervals */
 nat current_ticks = 0;                  /* ticks in current interval */
 
 void
-initProfTimer(nat ms)
-{
-  if (initialize_virtual_timer(ms)) {
-    fflush(stdout);
-    fprintf(stderr, "Can't initialize virtual timer.\n");
-    stg_exit(EXIT_FAILURE);
-  }
-};
-
-void
 stopProfTimer(void)
 {                              /* Stops time profile */
   if (time_profiling) {
-    initProfTimer(0);
+    do_prof_ticks = rtsFalse;
   }
 };
 
@@ -48,15 +36,8 @@ void
 startProfTimer(void)
 {                              /* Starts time profile */
   if (time_profiling) {
-    initProfTimer(TICK_MILLISECS);
+    do_prof_ticks = rtsTrue;
   }
 };
 
-void
-handleProfTick(void)
-{
-  CCS_TICK(CCCS);
-  total_ticks++;
-};
-
 #endif /* PROFILING */