From 0b580ba02729bdae63eb88beb55b1181af8a6265 Mon Sep 17 00:00:00 2001 From: simonmar Date: Fri, 21 Oct 2005 14:41:04 +0000 Subject: [PATCH] [project @ 2005-10-21 14:41:04 by simonmar] oops, remove old file --- ghc/rts/Itimer.h | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 ghc/rts/Itimer.h diff --git a/ghc/rts/Itimer.h b/ghc/rts/Itimer.h deleted file mode 100644 index af5c140..0000000 --- a/ghc/rts/Itimer.h +++ /dev/null @@ -1,22 +0,0 @@ -/* ----------------------------------------------------------------------------- - * - * (c) The GHC Team 1998-2005 - * - * Interval timer for profiling and pre-emptive scheduling. - * - * ---------------------------------------------------------------------------*/ - -#ifndef ITIMER_H -#define ITIMER_H - -extern int startTicker( nat ms, TickProc handle_tick); -extern int stopTicker ( void ); - -extern lnat getourtimeofday ( void ); -#if 0 -/* unused */ -extern void block_vtalrm_signal ( void ); -extern void unblock_vtalrm_signal ( void ); -#endif - -#endif /* ITIMER_H */ -- 1.7.10.4