Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
[ghc.git] / rts / Timer.h
1 /* -----------------------------------------------------------------------------
2 *
3 * (c) The GHC Team, 1995-2006
4 *
5 * Interface to the RTS timer signal (uses OS-dependent Ticker.h underneath)
6 *
7 * ---------------------------------------------------------------------------*/
8
9 #ifndef TIMER_H
10 #define TIMER_H
11
12 extern void initTimer(void);
13 extern void startTimer(void);
14 extern void stopTimer(void);
15 extern void exitTimer(void);
16
17 #endif /* TIMER_H */